About

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.