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@109.105.112.236 or 64254430116@109.105.112.235
Join by H.323 – 109.105.112.236 or 109.105.112.235
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.