September 9-13, 2024
Politecnico di Milano
Piazza Leonardo da Vinci 32, 20133 Milano, Italy
Abstract
The 26th International Symposium on Formal Methods (FM 2024) will be held at Politecnico di Milano from September 9 to 13, 2024.Prof. Matteo Pradella (Department of Electronics, Information and Bioengineering) and Prof. Matteo Rossi (Department of Mechanical Engineering) will act as general co-chairs.
FM 2024 is the 26th 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.