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
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.
6-7 November
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.
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.
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.
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.
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.
- 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
Carmen Bratosin
Formal Methods and Domain Models in the Age of Large Language Models: An Industrial Perspective
Natalia Sidorova
Navigating the Complexity: From data to models of weakly-structured processes