DataMod 2019

 

8th International Symposium

“From Data to Models and Back (DataMod)”

7-8 October 2019 in Porto (Portugal)

Satellite event of the 3rd World Congress on Formal Methods

Keynote speakers – Important dates – Paper submission and publication – Organization – Contacts

Registration – Program and Preproceedings

Introduction

DataMod 2019 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
  2. development and use of common modelling and knowledge management/discovery frameworks to explore and understand complex systems from the application domains of interest

Back to top

Keynote Speakers

Back to top

Important Dates

  • Abstract submission deadline: 24 June 2019 (EXTENDED)
  • Paper submission deadline: 30 June 2019 (EXTENDED)
  • Notification to authors: 31 July 2019
  • Pre-proceedings final version due: 2 September 2019
  • Symposium: 7-8 October 2019

DEADLINES FOR PRESENTATION REPORTS

  • Presentation report submission: 5 September 2019
  • Notification to authors: 8 September 2019

Back to top

Paper Submission and Publication

Papers can take one of the following two forms:

  • Regular (research, tool or position) paper, up to 15 pages
  • Short (research, tool or position) paper, up to 8 pages

Short papers can discuss new ideas which are at an early stage of development and which have not yet been thoroughly evaluated.

[NEW] In addition, late short papers (presentation reports) will be considered having the following form:

  • 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

Authors are invited to submit their contributions via Easychair. The Easychair submission webpage is available at https://easychair.org/conferences/?conf=datamod2019.

All papers should be written in English and prepared using the specific LNCS templates available at http://www.springer.de/comp/lncs/authors.html.

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.

LNCS logo

Revised versions of accepted papers will be published after the Symposium by Springer in a volume of Lecture Notes in Computer Science ( http://www.springer.com/lncs ), which will collect contributions to some workshops and symposia co-located with FM 2019. Condition for inclusion in the post-proceedings is that at least one of the co-authors has presented the paper at the Symposium.

A special issue of a relevant journal devoted to extended versions of DataMod papers is planned.

Back to top

Organization

PROGRAM CO-CHAIRS

  • Vashti Galpin, University of Edinburgh, UK
  • Riccardo Guidotti, ISTI-CNR, Italy
  • Mirco Nanni, ISTI-CNR, Italy

PROGRAM COMMITEE

  • Oana Andrei, University of Glasgow, UK
  • Luís Barbosa, Universidade do Minho, Portugal
  • Giovanna Broccia, ISTI-CNR, Italy
  • Antonio Cerone, Nazarbayev University, Kazakhstan
  • Vittorio Cuculo, Università degli Studi di Milano, Italy
  • Ricardo Czekster, University of Santa Cruz do Sul, Brazil
  • Giuditta Franco, University of Verona, Italy
  • Cheng Fu, University of Zurich, Switzerland
  • Rocio Gonzalez-Diaz, Universidad de Sevilla, Spain
  • Tias Guns, Vrije Universiteit Brussel, Belgium
  • Haosheng Huang, University of Zurich, Switzerland
  • Juliana Kuster Filipe Bowles, University of St Andrews, UK
  • Martin Lukac, Nazarbayev University, Kazakhstan
  • Ludovica Luisa Vissat, University of Edinburgh, UK
  • Paolo Milazzo, University of Pisa, Italy
  • Anna Monreale, University of Pisa, Italy
  • Mirco Musolesi, University College London, UK
  • Amedeo Napoli, LORIA Nancy (CNRS – Inria – Université de Lorraine), France
  • Laura Nenzi, IMT School for Advanced Studies Lucca, Italy
  • Nicola Paoletti, University of London, UK
  • Nikos Pelekis, University of Piraeus, Greece
  • Roberto Pellungrini, ISTI-CNR, Italy
  • Carla Piazza, University of Udine, Italy
  • Giuseppe Pirrò, University of Rome, Italy
  • Gwen Salaün, INRIA, France
  • Mark Sterling, Nazarbayev University, Kazakhstan
  • Andrea Tagarelli, University of Calabria, Italy
  • Luca Tesei, University of Camerino, Italy
  • Evgenij Thorstensen, University of Oslo, Norway


ORGANIZING COMMITEE

  • Oana Andrei, University of Glasgow, UK
  • Antonio Cerone, Nazarbayev University, Kazakhstan
  • Paolo Milazzo, University of Pisa, Italy

STEERING COMMITEE

  • Antonio Cerone, Nazarbayev University, Kazakhstan
  • Jane Hillston, University of Edinburgh, UK
  • 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

Back to top

Contacts

All inquiries should be sent to datamod2019@easychair.org

Back to top