14th International Symposium

DATAMOD 2026

FROM DATA TO MODELS AND BACK

A satellite event of the

24th International Conference of Software Engineering and Formal Methods - SEFM 2026

DATE 23-24 November 2026

LOCATION Malta (Valletta)

About DataMod

DataMod brings together researchers and practitioners interested in the interaction between computational modelling and data-driven techniques. The symposium focuses on how data can support the construction, refinement and validation of models, and how models can help analyse and understand complex systems.

The symposium encourages contributions that connect modelling languages, analysis methods, knowledge discovery, machine learning and AI-supported workflows. It is open to both methodological advances and work motivated by concrete problems in scientific, technological and socio-technical domains.

Submissions may present mature research results, tools, application experiences or promising preliminary ideas. DataMod especially welcomes work that creates a meaningful bridge between data, models and their practical use.

Topics of interest

The 2026 edition is organized into three tracks. The Main Track covers the general scope of DataMod, from discovering models from data to model-based analysis, simulation, verification and optimisation. Two focused sub-tracks highlight contributions on Biomedical analysis and models and Federated Learning. The topic areas listed below indicate methods, technologies and application domains that can be addressed within one or more of these tracks.

Main Track

From Data to Models and Back

For contributions addressing the general scope of DataMod, including both data-to-model discovery and model-based analysis and simulation: learning, extracting or synthesizing models from data, as well as using models to analyse, verify or optimise complex systems.

Sub-Track 1

Biomedical analysis and models

The Biomedical analysis and models sub-track welcomes contributions at the intersection of computational modelling and data-driven analysis in the biomedical domain.

Sub-Track 2

Federated Learning

For contributions on Federated Learning in DataMod settings: methods, tools and case studies for learning from distributed data while preserving privacy and supporting model-based analysis.

Modelling and Analysis methodologies include:

Modelling formalisms

  • Agent-based Methodologies
  • Cellular Automata
  • Differential Equations
  • Natural Computing
  • Petri Nets
  • Process Calculi

Data analysis and discovery

  • Big Data Analytics
  • Clustering, Segmentation and Profiling
  • Data, Text and Process Mining
  • Federated Learning
  • Artificial Intelligence for modelling and analysis
  • Foundation Models and Large Language Models (LLMs)
  • Agentic AI
  • Explainable and trustworthy AI
  • Spatio-temporal and Topological Data Analysis

Reasoning, verification and optimisation

  • AI-assisted modelling, simulation and verification
  • Conformance Analysis
  • Constraint Programming
  • Game Theory and Network Theory
  • Ontologies
  • Model Checking

Application Domains include:

Life sciences and health

  • Systems biology and bioinformatics
  • Digital health
  • Epidemiology
  • Omics and multi-omics data analysis
  • Pharmacological and clinical modelling
  • Antimicrobial resistance
  • Digital twins in biology and healthcare
  • AI-supported modelling for life sciences

Software, security and organisations

  • Business Process Management
  • Cybersecurity
  • Enterprise Architectures
  • UX/UI and User-Centered Design
  • Safety and Security Risk Assessment
  • Social Software Engineering

Society, environment and sustainability

  • Climate Change
  • Education
  • Smart Cities
  • Social Networks
  • Sustainable Development

Important Dates

RESEARCH PAPERS – FULL, SHORT AND PRESENTATION REPORTS

  • Abstract submission deadline (optional): September 3, 2026
  • Paper submission deadline: September 10, 2026
  • Acceptance notification: October 10, 2026
  • Revised version: October 20, 2026
    (note that you will have the opportunity to submit the camera-ready
    paper for the LNCS Proceedings with discussions and remarks
    after the symposium, ie, by the end of the year or early Jan/27)

Paper Submission And Publication

TYPES OF SUBMISSIONS

Papers can take one of the following three types:

  • Regular (research, tool or position) paper, up to 16 pages (excluding references)
  • Short (research, tool or position) paper, up to 8 pages (excluding references)
  • Presentation Report, up to 4 pages (excluding references)
  • 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 for 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 (see the Call for Presentation Reports).

    SUBMISSION

    All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere.

    Authors are invited to submit their contributions (regular and short paper) via Easychair

    Authors are invited to submit their presentation report via e-mail at datamod2026@easychair.org

    Papers must be formatted according to the guidelines for Springer LNCS papers, without modifications of margins and other space-saving measures. Authors should therefore consult Springer's authors' instructions and use their proceedings templates, either for LaTeX or for Word, for the preparation of their papers. Springer’s proceedings LaTeX templates are also available in Overleaf. Springer encourages authors to include their ORCIDs in their papers.

    Each paper will be reviewed by three Program Committee members. Notification and reviews will be communicated via email through the Easychair platform.

    PUBLICATION PROCEEDINGS

    Accepted papers will be included in the Symposium programme and will appear in the symposium pre-proceedings. Pre-proceedings will be available online before the Symposium. Condition for inclusion in the pre-proceedings is that at least one of the co-authors has registered for the Symposium. Revised versions of accepted papers will be published after the Symposium in a LNCS volume published by Springer. Condition for inclusion in the post-proceedings is that at least one of the co-authors has presented the paper at the Symposium.

    Didn't find what your are looking for?

    datamod2026@easychair.org

    Symposium Schedule

    - Central European Standard Time (GMT+1) -

    DataMod will take place in Malta.
    For further detail please visit the SEFM webpage

    TBA: The schedule will be available soon. Please check back later for updates.

    Organization

    PROGRAM CO-CHAIRS

    • Ivan Compagnucci, Gran Sasso Science Institute, Italy
    • Silvia Giulia Galfrè, University of Pisa, Italy
    • Paolo Milazzo, University of Pisa, Italy

    STEERING COMMITTEE

    • Oana Andrei, University of Glasgow, UK
    • Antonio Cerone, Nazarbayev University, Kazakhstan
    • Riccardo Guidotti, University of Pisa, Italy
    • Marijn Janssen, Delft University of Technology, the Netherlands
    • Stan Matwin, University of Ottawa, Canada
    • Paolo Milazzo, University of Pisa, Italy
    • Anna Monreale, University of Pisa, Italy

    PROGRAM COMMITTEE

    • TBA