FM 2021 is the 24th 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.

The conference is planned to take place on November 20-26, 2021, at the Institute of Software, Chinese Academy of Sciences in Beijing, China.

After analyzing the COVID-19 situation, FME board has decided that FM 2021 will be held online. The organisation team of FM 2021 is fully committed to make this online FM conference a wonderful experience for all participants.

Important Dates

Abstract submission April 30, 2021
Full paper submission May 6, 2021
Paper notification July 16, 2021
Final version August 16, 2021
Conference November 20-26, 2021