Formal Methods cross Spatial Logics
A workshop of the International Symposium on Formal Methods (FM 2024)
Vincenzo Ciancia vincenzo.ciancia@isti.cnr.it
David Gabelaia gabelaia@gmail.com