Tutorial Series of the FME Teaching Committee
Schedule for FMTea tutorials
In the FME Teaching Committee, we are 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.
If you wish to receive announcements on these lectures, please subscribe to our mailing list email@example.com by sending an email to firstname.lastname@example.org with the subject line
SUBSCRIBE IT-FMEUROPE-FMTEA firstname lastname
Below you’ll find the list of speakers who agreed to share their FM teaching insight:
- 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. The recording of Dr. Ettinger’s lecture can be seen here.
- November 20-21, 9am-4pm CET: Tutorials@FM21
- December 10, 9am CET: Assoc Prof David Pearce (Victoria University of Wellington, New Zealand): Teaching Software Verification with Whiley
Luigia Petre is inviting you to a scheduled Zoom meeting.