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.)

Expected Outcomes

By the end of the workshop, participants can anticipate gaining:

• Deeper insights into the formal foundations of spatial logics.
• Knowledge of state-of-the-art techniques and methodologies in formal methods applied to the spatial domain.
• Networking opportunities with peers and experts in the field.
• Inspiration for future research directions and collaborative projects.

Conclusion

This workshop aims to stimulate innovation and foster collaboration at the intersection between formal methods and spatial logics. We look forward to a dynamic and engaging event that will advance our understanding of spatial reasoning and contribute to the development of robust solutions for real-world challenges that require a formal understanding of spatial aspects in application-oriented methodologies.

Didn’t find what your are looking for ?

Vincenzo Ciancia vincenzo.ciancia@isti.cnr.it

David Gabelaia gabelaia@gmail.com