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
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: ||Application domains include:|
Synergistic approaches include:
- use of modelling methods and notations in a knowledge management/discovery context
- development and use of common modelling and knowledge management/discovery frameworks to explore and understand complex systems from the application domains of interest
- Abstract submission deadline: 14 June 2019
- Paper submission deadline: 21 June 2019
- Notification to authors: 31 July 2019
- Presentation submission deadline: TBA
- Pre-proceedings final version due: 2 September 2019
- Symposium: 7-8 October 2019
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.
Authors are invited to submit their contributions via Easychair. The Easychair submission webpage is available at TBA
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.
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.
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.
- Vashti Galpin, University of Edinburgh, UK
- 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
All inquiries should be sent to TBA.