Formal Methods cross Spatial Logics
A workshop of the International Symposium on Formal Methods (FM 2024)
Welcome to the first Edition of the workshop
Formal Methods Cross Spatial Logics
DATE
9 September 2024
LOCATION
Milan, Italy
Vincenzo Ciancia vincenzo.ciancia@isti.cnr.it
David Gabelaia gabelaia@gmail.com