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