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 15th September (hard deadline)
  • Acceptance notification: 30th September 7th October
  • Revised version: 14th October
    (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/25)

PRESENTATION REPORT

  • Submission via email to: datamod2024@easychair.org
  • Presentation report deadline: 14th October
  • Acceptance notification: 19th October

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

    Alexandre Madeira

    CIDMA, Mathematics Department of University of Aveiro

    BIO: Alexandre Madeira is an Associate Professor in the Department of Mathematics at the University of Aveiro and a member of the Center for Research and Development in Mathematics & Applications. His key contributions lie in parametric methods for constructing specialized logics tailored to specific applications. His groundbreaking work began during his PhD in 2013, where he developed a method to generate logics to design reconfigurable systems. Since then, his research has expanded to the generation of various non-classical logics, focusing on the specification and verification of programs with non-standard behaviours, including those involving weighted and paraconsistent computations.

    TITLE: TBA

    ABSTRACT: TBA.

    Carlos M. Fonseca

    CISUC, Department of Informatics Engineering
    University of Coimbra

    BIO: Carlos M. Fonseca is an Associate Professor at the Department of Informatics Engineering of the University of Coimbra, Portugal, and a member of the Adaptive Computation group of CISUC, the Centre for Informatics and Systems of the University of Coimbra. He obtained his doctoral degree from the University of Sheffield, U.K., where he also conducted post-doctoral research. His main research interests are in multiobjective optimisation, evolutionary computation, experimental evaluation of optimisation algorithms, and practical applications of optimisation. He currently focuses mainly on preference articulation in multiobjective optimisation and the computational modelling of optimisation problems. He serves as Action Chair and Grant Holder Scientific Representative of COST Action ROAR-NET, a European research and innovation network aimed at making randomised optimisation algorithms widely competitive in practice by identifying and reducing obstacles to their adoption at the scientific, technical, economic, and human levels.

    TITLE: Metaheuristics for Combinatorial Optimisation: Models or Algorithms?

    ABSTRACT: Evolutionary algorithms, ant colony optimisation, particle swarm optimisation, iterated local search, tabu search, and GRASP, among others, are examples of randomised optimisation algorithms that are often grouped together under the term metaheuristics and have shown success in solving many large combinatorial optimisation problems. Unfortunately, the flexibility with which they can be adapted to new problems has led to a situation where each such adaptation is presented as a new algorithm for a specific problem. An alternative view is that problem-specific features should be captured by, and encapsulated in, a model with which optimisation algorithms interact in a problem-independent way. This keynote presents ongoing work to make this vision a reality.

    Symposium Schedule

    - West European Time (WET) -

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

    12:30 - 13:45
    Lunch break
    13:50 - 14:00


    14:00 - 15:00
    Opening

    Invited Talk 1 - Alexandre Madeira

    Title: TBA
    15:00 - 15:30
    Ricardo Contreras, Filip Smola, Jiawei Zheng, Jane Hillston and Jacques Fleuriot
    Verifying properties of Activities of Daily Living
    15:30 - 16:00
    Roberto Metere, Kangfeng Ye, Yue Gu, Zhi Zhang, Dalal Alrajeh, Michele Sevegnani and Poonam Yadav
    Towards Achieving Energy Efficiency and Service Availability in O-RAN via Formal Verification
    16:00 - 16:30
    Coffee break
    16:30 - 17:00
    Hana Tomášková, Andrea Zvackova, Patrik Urbanik and Dominik Palla
    Risk Management and Process Optimization in Industry 4.0: Integrating Sensors with Critical Path and FMEA
    17:00 - 17:30
    Iuliana Malina Grigore, Sylvio Barbon Junior and Gabriel Marques Tavares
    Beyond Flattening: Detecting Concurrency Anomalies Using K-NN Graph-based Modeling in Object-Centric Event Logs
    17:30 - 17:50
    Juliana Bowles, Linda Brodo, Roberto Bruni, Moreno Falaschi, Roberta Gori and Paolo Milazzo
    Analyzing Comorbidity Treatments with Reaction Systems
    Presentation Report
    17:50 - 18:10
    Julius Figge and David Knuplesch
    Applications of Formal Verification Techniques for Security in Automotive Diagnostics - a Literature-Survey
    Presentation Report - pdf
    09:00 - 09:30
    Daniel Leto Neiva Costa, Elizabeth Fialho Wanner, Roberto Alamino and Thais Webber
    Modelling COVID-19 with a SIR Variant using Real-World Data: a Case Study in Brazil
    09:30 - 10:00
    Bruna Alves, Susana Brás and Raquel Sebastião
    Explaining Pain: on the Impact of Physiological Signals in Pain Prediction
    10:00 - 10:30
    Tran Huong Giang Pham and Paolo Milazzo
    Gene Importance Assessment based on Shapley Values for Boolean Networks: Validation and Scalability Analysis
    10:30 - 11:00
    Coffee break

    11:00 - 12:00

    Invited Talk 2 - Carlos M. Fonseca

    Title: Metaheuristics for Combinatorial Optimisation: Models or Algorithms?
    12:00 - 12:30
    Yameng Guo and Seppe Vanden Broucke
    A Critique on Transductive Evaluation for GNN Node Classification
    12:30 - 14:00
    Lunch break
    14:00 - 15:00

    Invited Talk CIFMA - TBA

    Title: TBA

    15:00 - 15:30
    CIFMA - Talk 1
    TBA
    15:30 - 16:00
    CIFMA - Talk 2
    TBA
    16:00 - 16:30
    Coffee break
    16:30 - 16:50
    Alberto Arteta, Luisfer Mingo and Long Ma
    Learning From Trend Analysis Errors with Artificial Neural Networks
    Presentation Report
    16:50 - 17:10
    Teresa Pereira, Raquel C. Conceição, Vitor Sencadas and Raquel Sebastião
    Exploring the Trade-Offs in ECG Biometrics: Impact of Acquisition Time and Temporal Separation
    Short Paper
    17:10 - 17:25
    DISCUSSION ABOUT DATAMOD NEXT EDITIONS

    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.