12th International Symposium

DATAMOD 2024

FROM DATA TO MODELS AND BACK

A satellite event of the

22nd International Conference of Software Engineering and Formal Methods - SEFM 2024

DATE 4-5 November

LOCATION Aveiro, Portugal

About DataMod

DataMod aims at bringing together practitioners and researchers from academia, industry and research institutions interested in the combined application of 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/syntesise system models are especially welcome.

Topics of interest

Modelling and analysis methodologies include

  • Agent-based Methodologies
  • Automata-based Methodologies
  • 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
  1. Development and use of common modelling and knowledge management/discovery frameworks to explore and understand complex systems from the application domains of interest

Important Dates

4-5 November 2024

RESEARCH PAPERS – SHORT AND FULL

  • Abstract submission deadline (optional): 26th August
  • Paper submission deadline: 1st September
  • Acceptance notification: 30th September
  • Camera ready due: 14th October

PRESENTATION REPORT

Paper Submission And Publication

TYPES

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
  • 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 datamod2024@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

    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 ?

    datamod2024@easychair.org

    Keynote Speakers

    TBA

    TBA.

    BIO: TBA

    TITLE: TBA

    ABSTRACT: TBA

    TBA

    TBA.

    BIO: TBA

    TITLE: TBA

    ABSTRACT: TBA

    Symposium Schedule

    - West European Time (WET) -

    DataMod will take place in University of Aveiro.
    For further detail please visit the SEFM webpage

    08:45 - 09:00
    OPENING (joined with OpenCERT)
    SESSION CHAIR: TBA
    09:00 - 10:00
    KEYNOTE

    TBA

    SESSION CHAIR: TBA
    10:00 - 10:30
    Coffee break
    10:30 - 11:30
    SESSION 1: TBA
    SESSION CHAIR: TBA
    11:30 - 12:30
    12:30 - 14:00
    Lunch break
    15:00 - 15:30
    SESSION 2: TBA
    SESSION CHAIR: TBA
    15:30 - 16:00
    Coffee break
    16:00 - 17:00
    SESSION 3: TBA
    SESSION CHAIR: TBA
    09:00 - 10:00
    KEYNOTE

    TBA

    SESSION CHAIR: TBA
    10:00 - 10:30
    Coffee break
    10:30 - 11:00
    SESSION 4: TBA
    SESSION CHAIR: TBA
    11:00 - 12:00
    SESSION 5: TBA
    SESSION CHAIR: TBA
    12:00 - 12:30
    DISCUSSION AND CLOSING
    12:30 - 14:00
    Lunch break
    14:00 - 15:00
    TBA Keynote

    Organization

    PROGRAM CO-CHAIRS

    • Ricardo M. Czekster, Aston University, United Kingdom
    • Paolo Milazzo, University of Pisa, Italy

    STEERING COMMITEE

    • 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 COMMITEE

    • Oana Andrei, University of Glasgow
    • Luca Arnaboldi, University of Birmingham
    • Juliana Bowles, University of St Andrews
    • Giovanna Broccia, ISTI-CNR, FMT Lab
    • Antonio Cerone, Nazarbayev University
    • Ricardo M. Czekster, Aston University
    • Flavio Ferrarotti, Software Competence Centre Hagenberg
    • Riccardo Guidotti, University of Pisa
    • Alexander Kocian, University of Pisa
    • Livia Lestingi, Politecnico di Milano
    • José Manuel Ferreira Machado, University of Minho
    • Roberto Metere, University of York
    • Paolo Milazzo, Dipartimento di Informatica - Università di Pisa
    • Anna Monreale, Computer Science Dep., University of Pisa
    • Sotiris Moschoyiannis, University of Surrey
    • Mirco Nanni, KDD-Lab ISTI-CNR Pisa
    • Lucia Nasti, Gran Sasso Science Institute
    • Michela Quadrini, Università di Camerino
    • Gwen Salaün, Université Grenoble Alpes
    • Simone Tini, University of Insubria
    • Thais Webber, Aston University
    • Paolo Zuliani, Università di Roma "La Sapienza"

    Past Editions

     

    DataMod is running since 2012. It was called Modelling and Knowledge Management for Sustainable Development (MoKMaSD) from 2012 to 2015, then it was renamed DataMod ever since.