FMxSL24: Formal Methods cross Spatial Logics FM 2024 - 26th International Symposium on Formal Methods Milan, Italy, September 9, 2024 |
| Conference website | https://fmxsl24.github.io/about.html |
| Submission link | https://easychair.org/conferences/?conf=fmxsl24 |
| Abstract registration deadline | May 3, 2024 |
| Submission deadline | May 10, 2024 |
FMxSL - Formal Methods cross Spatial Logics
A workshop affiliated to the conference Formal Methods 2024
September 9, 2024, Milan Italy
Introduction
Spatial reasoning plays a pivotal role in diverse fields, from computer science and artificial intelligence to geographic information systems and medical image analysis. The effective utilization of spatial information is crucial for solving complex problems in these domains and in assisting human agents in doing so. This workshop aims to explore and advance the application of formal methods in spatial logics, fostering collaboration and knowledge exchange among researchers.
Objectives
The workshop seeks to achieve the following objectives:
1. Bridge Theory and Practice: Facilitate discussions and presentations that bridge more theoretical concepts in Spatial Logics with applications in Formal Methods. Encourage participants to share insights from their research and experiences.
2. Emerging Trends: Highlight and discuss emerging trends and advancements at the intersection between formal methods and spatial logics. This includes recent research findings, innovative applications, and potential future directions in the field, novel application domains, etc.
3. Interdisciplinary Collaboration: Encourage interdisciplinary collaboration by bringing together experts from computer science, spatial and temporal logics, artificial intelligence, spatial knowledge representation and reasoning, and related fields. Create a platform for fruitful discussions that transcend traditional disciplinary boundaries.
Topics of Interest
The workshop invites submissions on a wide range of topics, including but not limited to:
- Spatial Aspects in Formal Methods (such as spatial model checking, minimization of spatial models);
- Spatial and Spatio-Temporal Logics;
- Formal methods and spatial logics in Imaging and medical imaging;
- Logical and topological methods in 3D meshing;
- Spatial applications of formal methods (e.g. applications of formal methods to novel domains);
- Computational methods that depend upon spatial constraints (e.g. GPU computing, Grid computing, Autonomic computing, Collective Adaptive Systems, etc.);
- Research bridging Spatial Logics and Formal methods with Artificial Intelligence (e.g. Hybrid Artificial Intelligence for vision and imaging, automated inference of spatial formulas, etc.)
Submission information
The workshop accepts papers of original work (LNCS format) of length up to 6 pages. The submissions will be compiled into a technical report. If the quality and quantity of the submissions warrants it, a special issue in a journal of the area will be proposed.
Program committee
Laura Bussi, ISTI, National Research Council, Pisa, Italy
Vincenzo Ciancia (co-chair), Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo", Consiglio Nazionale delle Ricerche, Pisa, Italy
David Fernández, University de Barcelona, Spain
David Gabelaia (co-chair), TSU Razmadze Mathematical Institute, Tbilisi, Georgia
Fabio Gadducci, Dipartimento di Informatica, Università di Pisa, Italy
Silvio Ghilardi, Department of Mathematics, Università degli Studi di Milano, Italy
Diego Latella, ISTI-CNR, Pisa, Italy
Vincenzo Marra, Dipartimento di Matematica "Federigo Enriques", Milano, Italy
Mieke Massink, CNR-ISTI, Pisa, Italy
Emanuela Merelli, University of Camerino
Marino Miculan, DMIF, University of Udine, Italy
Sonja Smets, University of Amsterdam
Anton Wijs, Eindhoven University of Technology, The Netherlands
Organizers:
Vincenzo Ciancia (Italian National Research Council (CNR), Italy) vincenzo.ciancia@isti.cnr.it
David Gabelaia (TSU A. Razmadze Mathematical Institute, Tbilisi, Georgia) gabelaia@gmail.com