[TYPES/announce] FM 2021 - Call for Participation

[Jun PANG]

[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://urldefense.com/v3/__https://lcs.ios.ac.cn/fm2021/accepted-papers/__;!!IBzWLUs!AE7ei7Fz3oGfLPCtyvYmX6vlV-JrYp9lnl0ZPlK_Lx-c5eoywNnQJ1e3jRHSVWSxdnpQTq4ZK70Iqw$ .
• A preliminary program can be found at
https://urldefense.com/v3/__https://lcs.ios.ac.cn/fm2021/main_program/__;!!IBzWLUs!AE7ei7Fz3oGfLPCtyvYmX6vlV-JrYp9lnl0ZPlK_Lx-c5eoywNnQJ1e3jRHSVWSxdnpQTq4wlmHYAQ$ .

-- 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://urldefense.com/v3/__https://lcs.ios.ac.cn/fm2021/i-day-accepted-papers/__;!!IBzWLUs!AE7ei7Fz3oGfLPCtyvYmX6vlV-JrYp9lnl0ZPlK_Lx-c5eoywNnQJ1e3jRHSVWSxdnpQTq50mC-ZnA$ , and a preliminary
program can be found at https://urldefense.com/v3/__https://lcs.ios.ac.cn/fm2021/program/__;!!IBzWLUs!AE7ei7Fz3oGfLPCtyvYmX6vlV-JrYp9lnl0ZPlK_Lx-c5eoywNnQJ1e3jRHSVWSxdnpQTq6DIS4jDw$ )
• Doctoral Symposium
• Journal First Track
• Six workshops and five tutorials (see
https://urldefense.com/v3/__https://lcs.ios.ac.cn/fm2021/workshops-and-tutorials/__;!!IBzWLUs!AE7ei7Fz3oGfLPCtyvYmX6vlV-JrYp9lnl0ZPlK_Lx-c5eoywNnQJ1e3jRHSVWSxdnpQTq7Hr6k_IA$ )

Moreover, we also have the following collocated events:
• MEMOCODE 2021 - 19th ACM-IEEE International Conference on Formal
Methods and Models for System Design
(https://urldefense.com/v3/__https://lcs.ios.ac.cn/memocode21/__;!!IBzWLUs!AE7ei7Fz3oGfLPCtyvYmX6vlV-JrYp9lnl0ZPlK_Lx-c5eoywNnQJ1e3jRHSVWSxdnpQTq5YpdKwNg$ )
• SETTA 2021 – 7th Symposium on Dependable Software Engineering
Theories, Tools and Applications (https://urldefense.com/v3/__https://lcs.ios.ac.cn/setta2021/__;!!IBzWLUs!AE7ei7Fz3oGfLPCtyvYmX6vlV-JrYp9lnl0ZPlK_Lx-c5eoywNnQJ1e3jRHSVWSxdnpQTq75wz-y1g$ )
• VECoS 2021 - 15th International Conference on Verification and
Evaluation of Computer and Communication Systems
(https://urldefense.com/v3/__http://vecos-world.org/2021/__;!!IBzWLUs!AE7ei7Fz3oGfLPCtyvYmX6vlV-JrYp9lnl0ZPlK_Lx-c5eoywNnQJ1e3jRHSVWSxdnpQTq5aO7KzKA$ )
The full program of FM 2021 and co-located events can be found at
https://urldefense.com/v3/__https://lcs.ios.ac.cn/fm2021/overall_program/__;!!IBzWLUs!AE7ei7Fz3oGfLPCtyvYmX6vlV-JrYp9lnl0ZPlK_Lx-c5eoywNnQJ1e3jRHSVWSxdnpQTq7CtqadWQ$ .

-- 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://urldefense.com/v3/__https://lcs.ios.ac.cn/fm2021/registration/__;!!IBzWLUs!AE7ei7Fz3oGfLPCtyvYmX6vlV-JrYp9lnl0ZPlK_Lx-c5eoywNnQJ1e3jRHSVWSxdnpQTq7xjMEvRw$  for registration.

For more information, please visit the website of FM 2021
https://urldefense.com/v3/__https://lcs.ios.ac.cn/fm2021/__;!!IBzWLUs!AE7ei7Fz3oGfLPCtyvYmX6vlV-JrYp9lnl0ZPlK_Lx-c5eoywNnQJ1e3jRHSVWSxdnpQTq6BJw6uEg$ 

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