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