[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, 2021. -- ABOUT FM 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. -- INVITED TALKS • 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 -- CONTRIBUTED PAPERS • A list of accepted papers can be found at https://lcs.ios.ac.cn/fm2021/accepted-papers/. • A preliminary program can be found at https://lcs.ios.ac.cn/fm2021/main_program/. -- ASSOCIATED EVENTS 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 https://lcs.ios.ac.cn/fm2021/workshops-and-tutorials/) Moreover, we also have the following collocated events: • MEMOCODE 2021 - 19th ACM-IEEE International Conference on Formal Methods and Models for System Design (https://lcs.ios.ac.cn/memocode21/) • 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 (http://vecos-world.org/2021/) The full program of FM 2021 and co-located events can be found at https://lcs.ios.ac.cn/fm2021/overall_program/. -- REGISTRATION 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 https://lcs.ios.ac.cn/fm2021/ Please contact Dr. Bohua Zhan and Dr. Shuling Wang via fm2021@ios.ac.cn if you have any questions.