Lübeck, Germany, March 7-9, 2023
FM 2023: 25th International Symposium on Formal Methods
- Main conference: March, 7th – 9th, 2023
- Workshops, tutorials, etc. March 6th, 10th 2023
FM 2023 is the 25th international symposium in a series organized by Formal Methods Europe (FME). The topics covered include the development and application of formal methods in a wide range of domains including software, cyber-physical systems and integrated computer-based systems.
Vision for the Event
Covid-19 forced the world to go digital, including conferences. But, restating the guiding theme of FM in 2015, a conference is a social event at which participants should have the opportunity to interact, get updated on recent and on-going research, and foster interesting new ideas and collaborations. We have learned that such an interaction can hardly be realized in digital meetings. However, we are fairly confident that in spring 2023, the Covid-19 situation will be under control and will allow for physical scientific meetings again. So our guiding thesis for FM 2023 is
Let’s have real conferences again!
That said, we have also learned that video broadcasting ensures a wide dissemination of the conference contributions. We plan to allow also a digital participation, and we are of course also prepared to have FM as a full online meeting, should it be necessary.
Topic-wise, we are well aware of the huge interest in AI and machine learning-based software development. For safety critical systems, such systems have to be formally analyzed and verified. In other words,
Solid AI-based systems need Formal Methods!
While traditional formal methods will be the main topic of FM 2023, we will add Formal Methods for AI as a major theme for the next edition of FM.
Abstract Submission: September 4th, 2022, 23:59 AoE
Full Paper Submission (including I-Day): September 11th, 2022, 23:59 AoE
Paper Notification: November 15th, 2022
Camera ready: December 11th, 2022
Conference: March 7th – 9th, 2023
Martin Leucker, University of Lübeck, Germany
Program Committee Chairs
Joost-Pieter Katoen, RWTH Aachen University, Gertmany
Marsha Chechik, University of Toronto, Canada
For more information, see the FM2023 website.