FM 2024: Call for Participation
International Symposium on Formal Methods
9-13 September 2024, Milan, Italy
https://www.fm24.polimi.it
Registrations open: https://www.fm24.polimi.it/?page_id=559
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