11th International Symposium

DATAMOD 2023

FROM DATA TO MODELS AND BACK

A satellite event of the

21st International Conference of Software Engineering and Formal Methods - SEFM 2023

DATE 6-7 November

LOCATION Eindhoven

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

6-7 November

RESEARCH PAPERS – SHORT AND FULL

  • Abstract submission deadline (optional): 8 September 2023 (EXTENDED)
  • Paper submission deadline: 15 September 2023 (EXTENDED)
  • Acceptance notification: 9 October 2023 (DELAYED)
  • Camera ready due: 19 October 2023

PRESENTATION REPORT

  • Submission via email to: datamod2023@easychair.org
  • Presentation report deadline: 5 October 2023 (EXTEDED)
  • Acceptance notification: 9 October 2023 (DELAYED)

Paper Submission And Publication

FORMS

Papers can take one of the following three forms:

  • 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 datamod2023@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 ?

    datamod2023@easychair.org

    Keynote Speakers

    Carmen Bratosin

    TNO - Netherlands Organization for Applied Scientific Research, The Netherlands.

    BIO: Carmen Bratosin is a project manager at TNO-ESI (esi.nl), a leading applied research institution specializing in system design and engineering within the high-tech equipment sector in the Netherlands. With more than 15 years of expertise, Carmen has adeptly utilized her knowledge to create and put into practice novel methodologies that bridge the realms of modeling and artificial intelligence. Her extensive professional journey has encompassed collaborations with renowned companies such as ASML, Canon Production Printing, and Philips.

    TITLE: Formal Methods and Domain Models in the Age of Large Language Models: An Industrial Perspective

    ABSTRACT: The public introduction of Large Language Models (LLMs) through the release of ChatGPT sparked inquiries regarding its implications within the engineering domain. This presentation explores insights assembled from collaborative research conducted between TNO-ESI and the Dutch high-tech industry, emphasizing the pivotal role of domain models in tandem with data science and AI techniques. Drawing from tangible examples, we posit that (domain) models, firmly rooted in precise syntax and semantics, serve as indispensable cornerstones for the success of the application of AI in industry. While AI models significantly contribute to opening the door to new applications, enhancing engineering processes, and increasing efficiency, they cannot entirely replace the fundamental role domain models play. This keynote explores the dynamic interplay between these components, shedding light on their nuanced relationships within engineering.

    Natalia Sidorova

    Eindhoven University of Technology, The Netherlands.

    BIO: Natalia Sidorova is a member of Eindhoven Artificial Intelligence Systems Institute and of the Process analytics group of Eindhoven University of Technology. Her research interests include algorithms and techniques for process analytics using data-driven approaches. Dr Sidorova has published more than 100 papers in the leading journals and conferences in her field and has served on the programme committees of the major conferences. In her professional journey, Natalia maintains a strong collaboration with industry partners, applying her knowledge and skills to the practical development of process mining and conformance checking techniques for real-world applications.

    TITLE: Navigating the Complexity: From data to models of weakly-structured processes

    ABSTRACT: The complexity of real-life processes poses a significant challenge in process analytics. These processes involve intricate interactions, multiple actors and resources, and a blend of structured and unstructured sub-processes. In this keynote, we focus on the task of mining models of weakly-structured processes using data generated during the process execution and on performing conformance checking using a decompositional approach. We also address the inherent challenges associated with the nature of process execution data, which often combines structured elements with unstructured text. Our objective is to extract meaningful events from unstructured text data, leveraging domain knowledge and tailoring techniques to weakly-structured processes. The methods will be illustrated through case studies from the healthcare industry, shedding light on the real-world applications of our research.

    Symposium Schedule

    - CET TIME -

    DataMod will take place in the building Metaforum on the campus of the TU/e.
    For further detail please visit the SEFM webpage

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

    Carmen Bratosin

    TNO - Netherlands Organization for Applied Scientific Research

    Formal Methods and Domain Models in the Age of Large Language Models: An Industrial Perspective

    SESSION CHAIR: TBA
    10:00 - 10:30
    Coffee break
    10:30 - 11:30
    SESSION 1: Domain-specific Modelling and Analysis
    SESSION CHAIR: TBA

    Integrated Data Representation and Formal Analysis for Human and In Silico Experimentation in Cognitive Psychology

    Antonio Cerone and Graham Pluck

    Probabilistic Model Checking of Temporal Interaction Dynamics in the Supreme Court

    Susmoy Das and Arpit Sharma (Online)
    12:30 - 14:00
    Lunch break
    14:00 - 15:00
    15:00 - 15:30
    SESSION 2: Natural Language Processing
    SESSION CHAIR: TBA

    Evaluating Large Language Models and Prompt Variants on the Task of Detecting Cease and Desist Violations in German Online Product Descriptions

    Marian Lambert, Nico Döring, Thomas Schuster and Norbert Schmitz
    15:30 - 16:00
    Coffee break
    16:00 - 17:00
    SESSION 3: System Biology
    SESSION CHAIR: TBA

    Attractor and slicing analysis of a T cell differentiation model based on Reaction Systems

    Linda Brodo, Roberto Bruni, Moreno Falaschi, Roberta Gori and Paolo Milazzo

    Towards a Shapley value propagation method for Boolean networks

    Giang Pham and Paolo Milazzo
    09:00 - 10:00
    KEYNOTE

    Natalia Sidorova

    Eindhoven University of Technology, The Netherlands.

    Navigating the Complexity: From data to models of weakly-structured processes

    SESSION CHAIR: TBA
    10:00 - 10:30
    Coffee break
    10:30 - 11:00
    SESSION 4: Social Network Analysis
    SESSION CHAIR: TBA

    Extracting cyber threat intelligence from social media with case studies in Twitter and Reddit

    Dainora Jakstaite and Ricardo M. Czekster
    11:00 - 12:00
    SESSION 5: Formal Methods in Healthcare
    SESSION CHAIR: TBA

    Towards a Flexible Approach for Understanding and Comparing Traces

    Juliana Küster Filipe Bowles

    Modelling and Verification of a Health Cloud Management Protocol

    Almo Cuci, Umar Ozeer and Gwen Salaun
    12:00 - 12:30
    DISCUSSION AND CLOSING
    12:30 - 14:00
    Lunch break
    14:00 - 15:00

    Organization

    PROGRAM CO-CHAIRS

    • Giovanna Broccia, ISTI-CNR, Italy
    • Antonio Cerone, Nazarbayev University, Kazakhstan

    ORGANIZING COMMITEE

    • Giovanna Broccia, ISTI-CNR, Italy
    • Antonio Cerone, Nazarbayev University, Kazakhstan
    • Paolo Milazzo, University of Pisa, Italy

    STEERING COMMITEE

    • Oana Andrei, University of Glasgow, UK
    • Antonio Cerone, Nazarbayev University, Kazakhstan
    • Vashti Galpin, University of Edinburgh, UK
    • 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, UK
    • Juliana Bowles, University of St Andrews, UK
    • Giovanna Broccia, ISTI-CNR, Italy (Co-Chair)
    • Antonio Cerone, Nazarbayev University, Kazakhstan (Co-Chair)
    • Ricardo M. Czekster, Aston University, UK
    • Flavio Ferrarotti, SCCH, Austria
    • Vashti Galpin, University of Edinburgh, UK
    • Riccardo Guidotti, University of Pisa, Italy
    • Lars Kotthoff, University of Wyoming, USA
    • Livia Lestingi, Politecnico di Milano, Italy
    • Sotiris Moschoyiannis, University of Surrey, UK
    • Paolo Milazzo, University of Pisa, Italy
    • Anna Monreale, University of Pisa, Italy
    • Reshma Munbodh, Brown University, USA
    • Mirco Nanni, ISTI-CNR, Italy
    • Lucia Nasti, GSSI, Italy
    • Michela Quadrini, Università di Camerino, Italy
    • Paolo Zuliani, Università di Roma "La Sapienza", Italy