[ecoop-info] Formal Methods 2021: Workshops and Tutorials

Jun PANG pangjun at gmail.com
Wed Jun 30 08:58:19 CEST 2021

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

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:


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,
   * FM Tutorials Chairs: Luigia Petre (Åbo Akademi University,
Finland); Tim A.C. Willemse (Eindhoven University of Technology,

More information about the ecoop-info mailing list