Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
* [Caml-list] DataMod 2025 - First Call for Papers
@ 2025-06-17 13:19 Ouadie Khebbeb
  0 siblings, 0 replies; only message in thread
From: Ouadie Khebbeb @ 2025-06-17 13:19 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/plain, Size: 6856 bytes --]

DataMod 2025 - 13th International Symposium "From Data to Models and Back"
Toledo, Spain, 10-11 November 2025

Website: https://datamod-symposium.github.io/DataMod-2025/

DataMod 2025 is a satellite event of the 23rd International Conference of
Software Engineering and Formal Methods (SEFM 2025):
https://sefm-conference.github.io/2025/

--------------------------------------------------------------------------------
Abstract submission deadline (optional):   22 August 2025
Paper submission deadline:                 29 August 2025
--------------------------------------------------------------------------------

CONTEXT & OBJECTIVES

DataMod 2025 aims at bringing together practitioners and researchers from
academia, industry and research institutions interested in the combined
computational modelling methods with data-driven techniques from the areas
of knowledge management, data mining and machine learning. Modelling
methodologies of interest include automata, agents, Petri nets, process
algebras and rewriting systems. Application domains include social systems,
ecology, biology, medicine, smart cities, governance, security, education,
software engineering, and any other field that deals with complex systems
and large amounts of data.

Papers can present research results in any of the themes of interest for the
symposium, as well as application experiences, tools and promising
preliminary
ideas. Papers dealing with synergistic approaches that integrate modelling
and
knowledge management/discovery, or that exploit knowledge
management/discovery
to develop/synthesise system models are especially welcome.

Authors are invited to submit original research or tool papers on any
relevant
topic. These can either be normal or short papers. Short papers can discuss
new
ideas which are at an early stage of development and which have not yet been
thoroughly evaluated.

TOPICS

Modelling and analysis methodologies include:
- Agent-based Methodologies
- Automata-based Notations
- Big Data Analytics
- Cellular Automata
- Classification
- Clustering, Segmentation and Profiling
- Conformance Analysis
- Constraint Programming
- Data Mining
- Differential Equations
- Game Theory
- Machine Learning
- Membrane Systems
- Network Theory and Analysis
- Ontologies
- Optimisation Modelling
- Petri Nets
- Process Calculi
- Process Mining
- Rewriting Systems
- Spatio-temporal Data Analysis/Mining
- Statistical Model Checking
- Text Mining
- Topological Data Analysis

Application domains include:
- Biology
- Brain Data and Simulation
- Business Process Management
- Climate Change
- Cybersecurity
- Ecology
- Education
- Environmental Risk Assessment and Management
- Enterprise Architectures
- Epidemiology
- Genetics and Genomics
- Governance
- HCI and Human Behaviour
- Open Source Software Development and Communities
- Pharmacology
- Resilience Engineering
- Safety and Security Risk Assessment
- Social Good
- Social Software Engineering
- Social Systems
- Sustainable Development
- Threat Modelling and Analysis
- Urban Ecology
- Smart Cities and Smart Lands

Synergistic approaches include:

(1) Use of modelling methods and notations in a knowledge
   management/discovery context
(2) Development and use of common modelling and knowledge
   management/discovery frameworks to explore and understand complex
   systems from the application domains of interest

SUBMISSION AND PUBLICATION

All contributions in the form of either

- regular (research, tool or position) paper, up to 16 pages (excluding
references)
- short (research, tool or position) paper, up to 8 pages (excluding
references)

will be reviewed by three members of the Program Committee.  Authors are
invited
to submit their contributions via Easychair
https://easychair.org/conferences/?conf=datamod2025

In addition, presentation reports will be considered having the following
form:

- presentation report, up to 4 pages

Presentation reports concern recent or ongoing work on relevant topics and
ideas, for timely discussion and feedback at the workshop. There is no
restriction as to previous/future publication of the contents of a
presentation. Typically, a presentation is based on a paper which recently
appeared (or which is going to appear) in the proceedings of another
recognised
conference, or which has not yet been submitted. Presentation reports will
receive a lightweight review to establish their relevance for DataMod.

Authors are invited to submit their presentation report via Easychair
https://easychair.org/conferences/?conf=datamod2025

All papers should be written in English and formatted according to the LNCS
style. Paper formatting guidelines according to LNCS style are available
here:
http://www.springer.com/lncs

Detailed information on the submission procedure and format are available
on the
symposium web page: https://datamod2025.github.io/

Accepted papers (both regular and short) will be included in a dedicated
LNCS
post-proceedings volume published by Springer after the Symposium. Condition
for inclusion in the proceedings is that at least one of the co-authors
attends
and presents the paper at the Symposium.


IMPORTANT DATES

Abstract Submission deadline (optional):   22 August 2025
Paper Submission deadline:                 29 August 2025
Notification:                              30 September 2025
Revised Version:                           7 October 2025
Symposium:                                 10-11 November 2025


KEYNOTE SPEAKERS

* TBA

PROGRAM CO-CHAIRS

* Livia Lestingi, Politecnico di Milano, Italy
* Gwen Salaün, Université Grenoble Alpes, France

PROGRAM COMMITTEE

* Oana Andrei, University of Glasgow
* Kyungmin Bae, Pohang University of Science and Technology (POSTECH)
* Juliana Bowles, School of Computer Science, University of St Andrews
* Giovanna Broccia, ISTI-CNR, FMT Lab
* Antonio Cerone, Nazarbayev University
* Robert Clarisó, Universitat Oberta de Catalunya
* Carla Ferreira, Universidade NOVA de Lisboa
* Marc Frappier, Université de Sherbrooke
* Elisa Gonzalez Boix, Vrije Universiteit Brussel
* Riccardo Guidotti, University of Pisa
* Alexander Kocian, University of Pisa
* Ricardo M. Czekster, Aston University
* José Machado, University of Minho, DI, ALGORITMI/LASI
* Paolo Milazzo, Dipartimento di Informatica - Università di Pisa
* Pedro Ribeiro, University of York
* Arpit Sharma, Indian Institute of Science Education and Research
* Volker Stolz, Høgskulen på Vestlandet
* Martin Tappler, TU Wien
* Thais Webber, Aston University
* Lina Ye, CentraleSupélec, LMF, University Paris-Saclay, France

CONTACT

> All inquiries should be sent to datamod2025@easychair.org

[-- Attachment #2: Type: text/html, Size: 7711 bytes --]

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2025-06-17 13:19 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2025-06-17 13:19 [Caml-list] DataMod 2025 - First Call for Papers Ouadie Khebbeb

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox