Tutorial Series of the FME Teaching Committee

FME’s Teaching Committee is launching a new tutorial series, planned to be held monthly. We aim to increase the awareness and sharing of tools and techniques used for teaching formal methods. The tutorial will be held online via zoom.

We will record (whenever the speaker agrees) these presentations and collect them on the FME Teaching Committee website.

List of speakers so far

  • September 24, 2021, 3pm CET: Prof Sandrine Blazy (University of Rennes 1, France): Why3 tool for deductive program verification. The recording of Prof. Blazy’s lecture can be seen here.
  • October 29, 2021, 3pm CET: Dr Ran Ettinger (Ben-Gurion University, Israel): Teaching Cantor’s theorem, a pumping lemma, and the derivation of a heapsort algorithm using Dafny
  • November 20-21, 9am-4pm CET: Tutorials @ FM2021

Zoom coordinates

Topic: FMTea Tutorial Series
Time: This is a recurring meeting Meet anytime

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

Join by SIP – 64254430116@ or 64254430116@
Join by H.323 – or

The aim of the FME Teaching Committee is to support a worldwide improvement in learning formal methods, mainly by teaching but also via self-learning.

Author: Einar Broch Johnsen