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
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.
6-7 December 2021
Papers can take one of the following three forms:
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).
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.
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.
The post proceedings of DataMod 2021 will be published with LNCS, Springer. Please read the information below carefully and make sure you submit the following information to us by 21 April 2022.
Authors should consult Springer’s authors’ guidelines and use their proceedings templates, either for LaTeX or for Word, for the preparation of their papers. Springer encourages authors to include their ORCIDs in their papers. In addition, the corresponding author of each paper, acting on behalf of all of the authors of that paper, must complete and sign a Consent-to-Publish form. The corresponding author signing the copyright form should match the corresponding author marked on the paper. Once the files have been sent to Springer, changes relating to the authorship of the papers cannot be made.
If you are interested in Open Access or Open Choice, please refer to Springer's webpage (https://www.springer.com/gp/computer-science/lncs/open-access-publishing-in-computer-proceedings). The address for the invoice and the CC-BY Consent-to-Publish form would need to be sent at the same time as the files for the publication.
Please prepare:
Follow the following steps:
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.
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.
- GMT TIME -
08:40 AM - 08:50 AM
08:50 AM - 09:50 AM
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
08:40 AM - 08:50 AM
08:50 AM - 09:50 AM
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
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
02:20 PM - 03:00 PM