FM 2024: Call for Papers

by Matteo Rossi, March 29, 2024

Deadlines approaching for the submission of papers to the 26th international symposium on Formal Methods (FM 2024):

Abstract Submission: April 15th, 2024
Full Paper Submission: April 19th, 2024

       International Symposium on Formal Methods

               9-13 September 2024

         Politecnico di Milano, Milan, Italy


               Twitter/X : @FMsymp


FM 2024 is the 26th international symposium on Formal Methods in a series organized by Formal Methods Europe (FME).

FM 2024 features regular papers, tutorial papers, an industry day, an embedded systems track and more.

The conference proceedings will be published OPEN ACCESS by Springer in the LNCS series, as part of the FM subline.

Check out also the conferences and workshops that will be co-located with FM 2024 at:


Research track (including Embedded Systems track):

Tutorial Papers track:

Industry Day track:

Artifact Evaluation:

Submission site:


David Basin, ETH Zurich

Hadas Kress-Gazit, Cornell University

Marta Kwiatkowska, University of Oxford

Byron Cook, AWS and University College London (joint keynote I-Day/FMICS)


Abstract Submission:          April 15th, 2024

Full Paper Submission:        April 19th, 2024

Paper Notification:           June 10th, 2024

Artifact Abstract Submission: June 17th, 2024

Artifact Submission:          June 24th, 2024

Final Version:                July 1st, 2024

Artifact Notification:        July 15th, 2024

Conference:                   September 9th-13th, 2024



* General Chairs:

Matteo Pradella

Matteo Rossi

* PC Chairs:

André Platzer

Kristin-Yvonne Rozier

* Embedded Systems Track Chairs:

Wanli Chang

Alessandro Cimatti

* Tutorial Papers Chairs:

Shriram Krishnamurthi

Luigia Petre

* Industry Day Chairs:

Oksana Tkachuk

Tim Willemse

* Artifact Evaluation Chairs:

Carlos E. Budde

Arnd Hartmanns