Apologies for the cross and multiple postings
============================================================
FMxSL24: Formal Methods cross Spatial Logics
A workshop affiliated to FM 2024 - 26TH INTERNATIONAL SYMPOSIUM ON
FORMAL METHODS
Milan, Italy, September 9, 2024
Conference website https://fmxsl24.github.io/ [1]
Submission link https://easychair.org/conferences/?conf=fmxsl24
Abstract registration deadline May 3, 2024 (AoE)
Submission deadline May 10, 2024 (AoE)
==========================================================
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-CNR, Italy
Vincenzo Ciancia (co-chair), ISTI-CNR, Italy
David Fernández, University of 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 - University of Milan, Italy
Diego Latella, ISTI-CNR, Italy
Vincenzo Marra, Dipartimento di Matematica "Federigo Enriques", Milano,
Italy
Mieke Massink, ISTI-CNR, Italy
Emanuela Merelli, University of Camerino, Italy
Marino Miculan, University of Udine, Italy
Sonja Smets, University of Amsterdam, The Netherlands
Anton Wijs, Eindhoven University of Technology, The Netherlands
Contacts:
Vincenzo Ciancia (Italian National Research Council (CNR), Italy)
vincenzo.cian...@isti.cnr.it
David Gabelaia (TSU A. Razmadze Mathematical Institute, Tbilisi,
Georgia) gabel...@gmail.com
Links:
------
[1] https://fmxsl24.github.io/about.html
