Formal Methods 2021: Workshops and Tutorials
Jun PANG <[email protected]>
| Newsgroups | gmane.comp.lang.haskell.general |
|---|---|
| Message-ID | <CADqRe=ftQMD=YA2riRDtLvcBFWkw8n02qihiLXi6d6Eq8XvmsQ@mail.gmail.com> |
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) _______________________________________________ Haskell mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell