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 April 24, 2024
Submission deadline May 1, 2024
==========================================================
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.
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
