Tutorial Series of the FME Teaching Committee 2022

The FME Teaching Committee’s tutorial series is returning for 2022. So far, there are three tutorials planned, each delivered a different expert in teaching Formal Methods. The tutorials will be delivered online, via zoom.


  • 25th of February 2022, 3pm CET: Prof Shriram Krishnamurthi (Brown University, USA): From Tests to Properties: Property-Based Testing Using Relational Problems
  • 27th of May 2022, 3pm CET: Prof Michael Leuschel (Heinrich-Heine-University Düsseldorf, Germany): Teaching Formal Methods and Theoretical Computer Science with ProB
  • 26th August 2022, 3pm CET: Dr Robert Lewis (Brown University, USA): Teaching the theory and practice of proof assistants with Lean

With each speakers permission, the tutorials will be recorded.

Zoom Details

Each tutorial can be attended using the Zoom details below. Full details are available on the Tutorial Series webpage.

Join Zoom Meeting: https://aboakademi.zoom.us/j/64254430116
Meeting ID: 642 5443 0116

Author: Matt Luckcuck