FM 2024: Call for Participation

       International Symposium on Formal Methods

               9-13 September 2024

         Politecnico di Milano, Milan, Italy

            https://www.fm24.polimi.it

               Twitter/X : @FMsymp

CALL FOR PARTCIPATION

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

FM 2024 has seen a record number of submissions and it will feature regular papers, tutorial papers, an industry day, an embedded systems track and more.

The list of accepted papers is available here:

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

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

NEW! TUTORIAL PAPERS

10 Tutorial papers have been selected, and they will be presented in half-day sessions on September 9th and 10th.

Check out the schedule of the tutorials at

https://www.fm24.polimi.it/?page_id=612#tutorial-pp

REGISTRATIONS ARE NOW OPEN (early bird registration ends on July 30th)!

Registration page link:

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

Students (at all levels) can attend tutorials at a discount price (check out the registration page)

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)

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

ORGANIZERS:

https://www.fm24.polimi.it/?page_id=60#organizing-committee       International Symposium on Formal Methods

               9-13 September 2024

         Politecnico di Milano, Milan, Italy

            https://www.fm24.polimi.it

               Twitter/X : @FMsymp

CALL FOR PARTCIPATION

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

FM 2024 has seen a record number of submissions and it will feature regular papers, tutorial papers, an industry day, an embedded systems track and more.

The list of accepted papers is available here:

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

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

NEW! TUTORIAL PAPERS

10 Tutorial papers have been selected, and they will be presented in half-day sessions on September 9th and 10th.

Check out the schedule of the tutorials at

https://www.fm24.polimi.it/?page_id=612#tutorial-pp

REGISTRATIONS ARE NOW OPEN (early bird registration ends on July 30th)!

Registration page link:

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

Students (at all levels) can attend tutorials at a discount price (check out the registration page)

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)

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

ORGANIZERS:

https://www.fm24.polimi.it/?page_id=60#organizing-committee