Animation and exchanges in the Petri Nets community

[Giovanna Broccia via Petrinet <address@concealed>]

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/
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) address@concealed

David Gabelaia (TSU A. Razmadze Mathematical Institute, Tbilisi, Georgia) address@concealed