FM 2024: Call for Papers

       International Symposium on Formal Methods

               9-13 September 2024

         Politecnico di Milano, Milan, Italy

            https://www.fm24.polimi.it

               Twitter/X : @FMsymp

CALL FOR PAPERS

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:

https://www.fm24.polimi.it/?page_id=63

https://www.fm24.polimi.it/?page_id=423

IMPORTANT LINKS

Research track (including Embedded Systems track):

https://www.fm24.polimi.it/?page_id=200

Tutorial Papers track:

https://www.fm24.polimi.it/?page_id=310

Industry Day track:

https://www.fm24.polimi.it/?page_id=402

Artifact Evaluation:

https://www.fm24.polimi.it/?page_id=486

Submission site:

https://easychair.org/conferences/?conf=fm24

KEYNOTE SPEAKERS

https://www.fm24.polimi.it/?page_id=61

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)

IMPORTANT DATES

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

ORGANIZERS:

* 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