FM 2023 will take place in Lübeck

From March, 6th – 10th, 2023 the 25th INTERNATIONAL SYMPOSIUM ON FORMAL METHODS will be held at the University of Lübeck. 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. FM 2023 will be a platform for enthusiastic researchers and practitioners from a diversity of backgrounds to exchange their ideas and share their experiences.
The FM conferences are a series organized by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software development.
For more information, please visit the conference website: