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. It is hosted by 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 (All dates are Anywhere on Earth)

Abstract Submission April 30th, 2021
Full Paper Submission(including I-Day) May 6th, 2021 (update until May 10th, 2021)
Paper Notification July 16th, 2021
Final Version August 16th, 2021
Conference November 20-26th, 2021


FM'21 proceeding are available to everyone for free from Nov. 20 to Dec. 22, 2021. If you are using Chrome (or browsers based on Chromium) and you face problems in accessing the proceedings due to its new referrer policy, please click the referred policy, please check the Referrer Access Paywall in Chrome help page.

Formal Methods 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings