FM 2024: Call for Papers
Call for Papers of the International Symposium on Formal Methods 2024, with added details about submissions, proceedings, tracks, and keynote speakers
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.
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
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
IMPORTANT DATES
Abstract Submission: April 15th, 2024
Full Paper Submission: April 19th, 2024
Paper Notification: June 10th, 2024
Final Version: July 1st, 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