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 (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