===================================
[Apologies for cross-posting]

Call for Papers

DataMod 2019 - 8th International Symposium "From Data to Models and Back"
Porto, Portugal, 7-8 October 2019

DataMod Website http://pages.di.unipi.it/datamod/edition-2019/
DataMod Twitter @DataMod19

DataMod 2019 is a satellite event of the 3rd World Congress on Formal Methods (FM 2019) http://formalmethods2019.inesctec.pt

-----------------------------------------------------------
Abstract submission deadline : 24 June 2019
Submission deadline : 30 June 2019
-----------------------------------------------------------

CONTEXT & OBJECTIVES

The aim of DataMod 2019 is to bring 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, rewriting systems, clustering, data analytics. Application domains include social systems, ecology, biology,
medicine, smart cities, governance, education, software engineering,
and any other field that deals with complex systems and large amounts
of data.
Submitted 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/synthesise
system models are especially welcome.

In order to encourage participation and discussion, we invite two types of submissions, regular research/tool/position papers and short papers:
Regular paper submissions must present original work, they can be research or tool papers. These must not have been previously published, nor be under consideration for publication elsewhere. Regular paper submission must not exceed 15 pages.
Short papers submissions can discuss new ideas which are at an early stage of development, which have not yet been thoroughly evaluated. Short paper submission must not exceed 8 pages.


TOPICS

Modelling and analysis methodologies include:
- Agent-based Methodologies
- Automata-based Notations
- Big Data Analytics
- Cellular Automata
- Classification
- Clustering, Segmentation and Profiling
- Conformance Analysis
- Constraint Programming
- Data Mining
- Differential Equations
- Empirical Modelling
- 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
- System Dynamics
- 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
- Explanation and Interpretability
- 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 and Smart Cities

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

SUBMISSION AND PUBLICATION

All submitted papers in the form of either
- regular (research, tool or position) papers, up to 15 pages, or
- short (research, tool or position) papers, up to 8 pages,
will be reviewed by three members of the Program Committee. All papers should be written in English and be in LNCS format. Detailed information on the submission procedure through EasyChair will be soon available on the symposium web page: http://pages.di.unipi.it/datamod/edition-2019/.

Accepted papers (both regular and short) will be published after the
Symposium by Springer in a volume of Lecture Notes in Computer Science
(LNCS), which will collect contributions to 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.
Pre-proceedings will be available online before the Symposium.

A special issue of a relevant international journal with extended
versions of selected papers is planned.


IMPORTANT DATES

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


KEYNOTE SPEAKERS

* Ana Cavalcanti, University of York, UK
* TBC


PROGRAM CO-CHAIRS

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


PROGRAM COMMITTEE

* Oana Andrei, University of Glasgow, UK
* Luís Barbosa, United Nations University, UNU-EGOV, Portugal
* Giovanna Broccia, ISTI-CNR, Italy
* Giulio Caravagna, Institute of Cancer Research, UK
* Antonio Cerone, Nazarbayev University, Kazakhstan
* Ricardo Czekster, Performanceware Technologies, Brazil
* Giuditta Franco, University of Verona, Italy
* Rocio Gonzalez-Diaz, University of Seville, 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
* Paolo Milazzo, University of Pisa, Italy
* Anna Monreale, University of Pisa, Italy
* Mirco Musolesi, University College London, UK
* Laura Nenzi, TU Wien, Austria
* Nicola Paoletti, Stony Brook University, USA
* Roberto Pellungrini, University of Pisa, Italy
* Carla Piazza, University of Udine, Italy
* Giuseppe Pirro, Università di Roma La Sapienza, Italy
* Gwen Salaün, University of Grenoble Alpes, France
* Mark Sterling, Nazarbayev University, Kazakhstan
* Andrea Tagarelli, DIMES, University of Calabria, Italy
* Luca Tesei, University of Camerino, Italy
* Evgenij Thorstensen, University of Oslo, Norway
* Ludovica Luisa Vissat, University of Edinburgh, UK
* (TBC)

ORGANIZING COMMITTEE

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

STEERING COMMITTEE

* Antonio Cerone, Nazarbayev University, Kazakhstan
* Jane Hillston, University of Edinburgh, UK
* Marijn Janssen, Delft University of Technology, the Netherlands
* Stan Matwin, Dalhousie University & University of Ottawa, Canada
* Paolo Milazzo, University of Pisa, Italy
* Anna Monreale, University of Pisa, Italy
* Oana Andrei, University of Glasgow, UK

CONTACT

All inquiries should be sent to datamod2019@easychair.org .
Follow us on Twitter @DataMod19 for news and announcements.