• About
  • Organization
  • Submission

Formal Methods cross Spatial Logics

A workshop of the International Symposium on Formal Methods (FM 2024)

PROGRAM COMMITTEE

  • Laura Bussi, ISTI-CNR, Italy
  • Vincenzo Ciancia (co-chair), ISTI-CNR, Italy
  • David Fernández, University of Barcelona, Spain
  • David Gabelaia (co-chair), TSU Razmadze Mathematical Institute, Tbilisi, Georgia
  • Fabio Gadducci, Dipartimento di Informatica, Università di Pisa, Italy
  • Silvio Ghilardi, Department of Mathematics - University of Milan, Italy
  • Diego Latella, ISTI-CNR, Italy
  • Vincenzo Marra, Dipartimento di Matematica "Federigo Enriques", Milano, Italy
  • Mieke Massink, ISTI-CNR, Italy
  • Emanuela Merelli, University of Camerino, Italy
  • Marino Miculan, University of Udine, Italy
  • Sonja Smets, University of Amsterdam, The Netherlands
  • Anton Wijs, Eindhoven University of Technology, The Netherlands

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