[ecoop-info] FM 2021 - Call for Participation

Jun PANG pangjun at gmail.com
Mon Oct 4 09:49:45 CEST 2021

[Please distribute, apologies for multiple postings.]

FM 2021 is the 24th international symposium in a series organized by
Institute of Software, Chinese Academy of Sciences, under the auspices
of Formal Methods Europe (FME), held on-line during November 20-26,

FM 2021 is the 24th international symposium in a series organized by
Formal Methods Europe (FME), an independent association whose aim is
to stimulate the use of, and research on, formal methods for software
development. FM 2021 will highlight the development and application of
formal methods in a wide range of domains including software,
cyber-physical systems and integrated computer-based systems.

• Mingsheng Ying (University of Technology Sydney, Australia)
Model Checking for Verification of Quantum Circuits
• Paula Herber (University of Münster, Germany)
Combine Forces - How to Formally Verify Informally Defined Embedded Systems
• Clark Barrett (Stanford University, USA)
Domain-Specific Reasoning with Satisfiability Modulo Theories
• Assia Mahboubi (Inria Nantes, France and Vrije Universiteit
Amsterdam, Netherlands)
Formal verification of computational mathematics

• A list of accepted papers can be found at
• A preliminary program can be found at

The FM symposium also features the following associated events:
• Announcement of the new FME fellow
• Industry day (a list of accepted paper can be found at
https://lcs.ios.ac.cn/fm2021/i-day-accepted-papers/, and a preliminary
program can be found at https://lcs.ios.ac.cn/fm2021/program/)
• Doctoral Symposium
• Journal First Track
• Six workshops and five tutorials (see

Moreover, we also have the following collocated events:
• MEMOCODE 2021 - 19th ACM-IEEE International Conference on Formal
Methods and Models for System Design
• SETTA 2021 – 7th Symposium on Dependable Software Engineering
Theories, Tools and Applications (https://lcs.ios.ac.cn/setta2021/)
• VECoS 2021 - 15th International Conference on Verification and
Evaluation of Computer and Communication Systems
The full program of FM 2021 and co-located events can be found at

Registration fee is 30 EUR (220 Yuan RMB) for all events, and 10 EUR
(75 Yuan RMB) for workshops and/or tutorials. Please visit
https://lcs.ios.ac.cn/fm2021/registration/ for registration.

For more information, please visit the website of FM 2021

Please contact Dr. Bohua Zhan and Dr. Shuling Wang via
fm2021 at ios.ac.cn if you have any questions.

More information about the ecoop-info mailing list