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.

We are monitoring closely the COVID-19 situation and, although we hope for an in-person event, we are also planning carefully for a virtual event or a hybrid virtual/in-person event, in case there will be travel restrictions or health advisories following the global COVID-19 crisis. We will announce a decision on the nature of the meeting in due course.

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