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