• About
  • Organization
  • Submission

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

Didn’t find what your are looking for ?

Vincenzo Ciancia vincenzo.ciancia@isti.cnr.it

David Gabelaia gabelaia@gmail.com

IMPORTANT DATES

  • Abstracts due: May 3, 2024 (AoE)
  • Submissions due: May 10, 2024 (AoE)
  • Notifications: June 10, 2024 (tentative)
  • Camera ready copies: July 1, 2024
  • FMxSL: 9 September 2024

PC CHAIRS

  • Vincenzo Ciancia, Italy
  • David Gabelaia, Georgia

PUBLICITY CHAIR

  • Giovanna Broccia, Italy

© 2024 | Website by Giovanna Broccia