[TYPES/announce] Formal Methods 2021: Workshops and Tutorials

[Jun PANG]

24th International Symposium on Formal Methods
Beijing, November 20-26, 2021 (held virtually)
----------------------------------------------

Workshops and Tutorials
=======================

http://lcs.ios.ac.cn/fm2021/workshops-and-tutorials/

The FM'21 Symposium on Formal Methods will host six exciting workshops
and tutorials on various topics related to formal methods.

   * FMTea: Formal Methods Teaching
   * appFM: Applicable Formal Methods
   * Implementing an IDE for "tiny" Event-B with JetBrains
Metaprogramming System MPS
   * FMI Co-simulation Based Digital Twin
   * Momba: Python for Quantitative Models
   * Continuous Verification using CBMC

For details about these events and how to participate or submit see
the Workshops and Tutorials page:

   http://lcs.ios.ac.cn/fm2021/workshops-and-tutorials/

For questions about the general organization of workshops and tutorials:

   * FM Workshops Chairs: Carlo A. Furia (Università della Svizzera
Italiana, Switzerland); Lijun Zhang (Chinese Academy of Sciences,
China)
   * FM Tutorials Chairs: Luigia Petre (Åbo Akademi University,
Finland); Tim A.C. Willemse (Eindhoven University of Technology,
Netherlands)