DataMod 2019: 8th International Symposium "From Data to Models and Back (DataMod) Porto, Portugal, October 7-8, 2019 |
Conference website | http://pages.di.unipi.it/datamod/edition-2019/ |
Submission link | https://easychair.org/conferences/?conf=datamod2019 |
Conference program | https://easychair.org/smart-program/DataMod2019/ |
Abstract registration deadline | June 24, 2019 |
Submission deadline | June 30, 2019 |
Notification to authors | July 31, 2019 |
Pre-proceedings final version due | September 2, 2019 |
DataMod 2019 is a satellite event of the 3rd World Congress on Formal Methods (FM 2019) http://formalmethods2019.inesctec.pt
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. I
Submission Guidelines
n 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. All papers must be original and not simultaneously submitted to another journal or conference.
List of 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
Committees
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
Organizing committee
- Oana Andrei, University of Glasgow, UK
- Antonio Cerone, Nazarbayev University, Kazakhstan
- Paolo Milazzo, University of Pisa, Italy
Invited Speakers
- Ana Cavalcanti, University of York, UK
- ???
- ???
Publication
DataMod 2019 proceedings will be published in ...
by 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.
Venue
The conference will be held in Porto, Portugal, 7-8 October 2019
Contact
All inquiries should be sent to datamod2019 at easychair.org
Follow us on Twitter @DataMod19 for news and announcements.