Workshops and Tutorials

FMTea: Formal Methods Teaching (Workshop and Tutorial)

Website: https://fmtea.github.io/

Organizers: João Ferreira, Alexandra Mendes, Claudio Menghi

appFM: Applicable Formal Methods (Workshop)

Website: https://sites.google.com/view/appfm21/

Organizers: Mario Gleirscher, Jaco van de Pol, Jim Woodcock

Implementing an IDE for "tiny" Event-B with JetBrains Metaprogramming System MPS (Tutorial)

Website: http://dsl-course.org/fm2021/

Organizer: Mikhail Barash

FMI Co-simulation Based Digital Twin (Tutorial)

Website: https://sites.google.com/view/fm2021tutorialdt/home

Organizer: Peter Gorm Larsen, Casper Thule, Cláudio Gomes,  John Fitzgerald, Ken Pierce,  Hao Feng, Mirgita Frasheri, Simon Thrane Hansen, Hugo Daniel Macedo, Frederik Palludan Madsen

Momba: Python for Quantitative Models (Tutorial)

Website: https://fm21.momba.dev 

Organizer: Holger Hermanns, Maximilian Köhl

Continuous Verification using CBMC (Tutorial)

Organizer: Michael Tautschnig