Email Gateway (Feb 22 2024 at 12:15): Email Gateway (Feb 22 2024 at 12:15):From: Livia Lestingi <cl-isabelle-users@lists.cam.ac.uk>
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:
Matteo Pradella
Matteo Rossi
André Platzer
Kristin-Yvonne Rozier
Wanli Chang
Alessandro Cimatti
Shriram Krishnamurthi
Luigia Petre
Oksana Tkachuk
Tim Willemse
Email Gateway (Mar 30 2024 at 21:31):From: Livia Lestingi <cl-isabelle-users@lists.cam.ac.uk>
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:
Matteo Pradella
Matteo Rossi
André Platzer
Kristin-Yvonne Rozier
Wanli Chang
Alessandro Cimatti
Shriram Krishnamurthi
Luigia Petre
Oksana Tkachuk
Tim Willemse
Carlos E. Budde
Arnd Hartmanns
Last updated: Apr 28 2024 at 16:17 UTC