10th International Symposium

DATAMOD 2021

FROM DATA TO MODELS AND BACK

A satellite event of the

19th International Conference of Software Engineering and Formal Methods - SEFM 2021

DATE 6-7 December 2021

LOCATION Online conference

About Datamod 2021

DataMod 2021 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 December 2021

RESEARCH PAPERS – SHORT AND FULL

  • Abstract submission deadline: 24 September 202115 October 2021
  • Paper submission deadline: 1 October 202115 October 2021
  • Acceptance notification: 20 November 2021
  • Camera ready due: TBD

PRESENTATION REPORT

  • Presentation report deadline: 15 November 2021
  • Acceptance notification: 25 November 2021

Paper Submission And Publication

FORMS

Papers can take one of the following three forms:

  • Regular (research, tool or position) paper, up to 16 pages
  • Short (research, tool or position) paper, up to 8 pages
  • Presentation report, up to 4 page
  • 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.

    Paper submission is done via EasyChair.

    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 ?

    datamod2021@easychair.org

    Keynote Speakers

    Andrea Vandin

    Institute of Economics and Department of Excellence EMbeDS, Sant'Anna School of Advanced Studies, Pisa, Italy

    Department of Applied Mathematics and Computer Science, DTU Technical University of Denmark

    TITLE: Automated Statistical Analysis of Economic Agent-Based Models by Statistical Model Checking

    ABSTRACT: In this talk, we present recent work regarding a novel approach to the statistical analysis of simulation models and, especially, economical agent-based models (ABMs). We present a fully automated and model-agnostic toolkit that can be integrated with existing simulators to inspect simulations and perform counterfactual analysis. Our approach: (i) is easy-to-use by the modeller, (ii) improves reproducibility of results, (iii) optimizes running time given the modeller's machine, (iv) automatically chooses the number of required simulations and simulation steps to reach user-specified statistical confidence, and (v) automatically performs a variety of statistical tests. In particular, our framework is designed to distinguish the transient dynamics of the model from its steady-state behaviour (if any), estimate properties of the model in both "phases", and provide indications on the ergodic (or non-ergodic) nature of the simulated processes -- which, in turns allows one to gauge the reliability of a steady-state analysis. Estimates are equipped with statistical guarantees, allowing for robust comparisons across computational experiments. To demonstrate the effectiveness of our approach, we apply it to two models from the literature: a large scale macro-financial ABM and a small scale prediction market model. Compared to prior analyses of these models, we obtain new insights and we are able to identify and fix some erroneous conclusions.

    Antonio Cerone

    School of Engineering and Digital Sciences, Nazarbayev University, Kazakhstan.

    TITLE: 10 years of DataMod: Where to Go from Here

    ABSTRACT: DataMod was founded in 2012 under the acronym of MoKMaSD (Modelling and Knowledge Management applications: Systems and Domains). The original aim of the Symposium, established by the United Nations University, was to focus on modelling and analysing complex systems while using knowledge management strategies, technology and systems to address problems of sustainable development in various domain areas. The focus was soon expanded to generally addressing the complementarity of model-based and data-based approaches and the synergetic efforts that can lead to the successful combination of these two approaches. Hence the new name of the Symposium: "From Data to Models and Back", which has been used since 2016.

    In this presentation we will start from the origins and history of DataMod and will look into the community formed around the Symposium in order to identify some research areas that have been addressed during its first 10 years of life. In this perspective, we will try to understand to which extent the two components of the DataMod community managed to integrate. We will then have a look at what is happening outside DataMod and we will finally discuss which research and collaboration challenges should be addressed by future editions of DataMod.

    Symposium Schedule

    - GMT TIME -

    08:40 AM - 08:50 AM

    SESSION CHAIRGiovanna Broccia

    08:50 AM - 09:50 AM

    SpeakerAndrea Vandin

    TITLE: Automated Statistical Analysis of Economic Agent-Based Models by Statistical Model Checking

    ABSTRACT: In this talk, we present recent work regarding a novel approach to the statistical analysis of simulation models and, especially, economical agent-based models (ABMs). We present a fully automated and model-agnostic toolkit that can be integrated with existing simulators to inspect simulations and perform counterfactual analysis. Our approach: (i) is easy-to-use by the modeller, (ii) improves reproducibility of results, (iii) optimizes running time given the modeller's machine, (iv) automatically chooses the number of required simulations and simulation steps to reach user-specified statistical confidence, and (v) automatically performs a variety of statistical tests. In particular, our framework is designed to distinguish the transient dynamics of the model from its steady-state behaviour (if any), estimate properties of the model in both "phases", and provide indications on the ergodic (or non-ergodic) nature of the simulated processes -- which, in turns allows one to gauge the reliability of a steady-state analysis. Estimates are equipped with statistical guarantees, allowing for robust comparisons across computational experiments. To demonstrate the effectiveness of our approach, we apply it to two models from the literature: a large scale macro-financial ABM and a small scale prediction market model. Compared to prior analyses of these models, we obtain new insights and we are able to identify and fix some erroneous conclusions.

    Session chairGiovanna Broccia

    09:50 AM - 10:30 AM

    10:30 AM - 12:30 AM

    25 min presentation + 5 minute discussion

    10:30 AM

    Analysis and verification of robustness properties in Becker-Döring model

    Lucia Nasti, Roberta Gori and Paolo Milazzo

    11:00 AM

    Combining quantitative data with logic-based specifications for parameter inference

    Paul Piho and Jane Hillston

    11:30 AM

    Privacy Risk and Data Utility Assessment on Network Data

    Roberto Pellungrini

    12:00 AM

    A Secure User-Centred Healthcare System: Design and Verification

    Eduard Baranov, Juliana Bowles, Thomas Given-Wilson, Axel Legay and Thais Webber

    Session chairGiovanna Broccia

    08:40 AM - 08:50 AM

    SESSION CHAIRJuliana Bowles

    08:50 AM - 09:50 AM

    SpeakerAntonio Cerone

    TITLE: 10 years of DataMod: Where to Go from Here

    ABSTRACT: DataMod was founded in 2012 under the acronym of MoKMaSD (Modelling and Knowledge Management applications: Systems and Domains). The original aim of the Symposium, established by the United Nations University, was to focus on modelling and analysing complex systems while using knowledge management strategies, technology and systems to address problems of sustainable development in various domain areas. The focus was soon expanded to generally addressing the complementarity of model-based and data-based approaches and the synergetic efforts that can lead to the successful combination of these two approaches. Hence the new name of the Symposium: "From Data to Models and Back", which has been used since 2016.
    In this presentation we will start from the origins and history of DataMod and will look into the community formed around the Symposium in order to identify some research areas that have been addressed during its first 10 years of life. In this perspective, we will try to understand to which extent the two components of the DataMod community managed to integrate. We will then have a look at what is happening outside DataMod and we will finally discuss which research and collaboration challenges should be addressed by future editions of DataMod.

    Session chairJuliana Bowles

    10:00 AM - 11:00 AM

    15 min presentation + 5 minute discussion

    10:00 AM

    A Web-based Tool for Collaborative Modelling and Analysis in Human-Computer Interaction and Cognitive Science

    Antonio Cerone, Anel Mengdigali, Nuray Nabiyeva and Temirlan Nurbay

    10:20 AM

    An Urban Transport Network Model to Study Interdependence and Resilience

    David Enrique Sanchez Oliva and Charles Morisset

    10:40 AM

    Spatio-temporal model checking for 3D agent-based microbial simulations

    Bowen Li and Paolo Zuliani

    Session chairTBA

    11:00 AM - 01:00 PM

    Participants can use this time to listen to the invited talks of the other SEFM collocated workshops. Check the SEFM page for further info.

    01:00 PM - 02:20 PM

    15 min presentation + 5 minute discussion

    01:00 PM

    Learning Program Input Grammars with Help from Abstract Syntax Trees

    Flavio Ferrarotti and Hannes Sochor

    01:20 PM

    Towards Model Checking Video Streams using VoxLogicA on GPUs

    Laura Bussi, Vincenzo Ciancia, Fabio Gadducci and Mieke Massink

    01:40 PM

    Model-based Security Assessment on the Design of a Patient-centric Data Sharing Platform

    Matthew Banton, Juliana Bowles, Agastya Silvina and Thais Webber

    02:00 PM

    Detecting Anxiety Trends Using Wearable Sensor Data in Real-world Situations

    Marissa Gray, Shweta Majumder, Kate Nelson and Reshma Munbodh

    Session chairTBA

    02:20 PM - 03:00 PM

    Organization

    PROGRAM CO-CHAIRS

    • Juliana Bowles, Computer Science, University of St Andrews
    • Giovanna Broccia, FMT Lab, ISTI-CNR, Italy
    • Roberto Pellungrini, University of Pisa, Italy

    ORGANIZING COMMITEE

    • Oana Andrei, University of Glasgow, UK
    • 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
    • Mirco Nanni, ISTI-CNR, Italy

    PROGRAM COMMITEE

    • Oana Andrei, University of Glasgow, UK
    • Davide Basile, ISTI-CNR, Italy
    • Juliana Bowles, University of St Andrews, UK (Co-Chair)
    • Giovanna Broccia, ISTI-CNR, Italy (Co-Chair)
    • Marco Caminati, University of Lancaster, UK
    • Vincenzo Ciancia, ISTI-CNR, Italy
    • Antonio Cerone, Nazarbayev University, Kazakhstan
    • Ricardo Czekster, Newcastle University, UK
    • Flavio Ferrarotti, SCCH, Austria
    • Vashti Galpin, University of Edinburgh, UK
    • Riccardo Guidotti, University of Pisa, Italy
    • Lars Kotthoff, University of Wyoming, USA
    • Giulio Masetti, ISTI-CNR, 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, University of Pisa, Italy
    • Roberto Pellungrini, University of Pisa, Italy (Co-Chair)
    • Paolo Zuliani, Newcastle University, UK
    • TBA