[ecoop-info] FMTea (Formal Methods Teaching) Tutorial series starting soon!

Luigia Petre Luigia.Petre at abo.fi
Fri Aug 20 10:23:18 CEST 2021

Dear all,

In the FME Teaching Committee we are launching a new tutorial series, planned to be held monthly. The idea is 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: https://fme-teaching.github.io.


Formal Methods Teaching Committee<https://fme-teaching.github.io/>
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.

We are very happy to announce the first speaker in the series: Prof Sandrine Blazy, University of Rennes 1, France, https://people.irisa.fr/Sandrine.Blazy/, who will talk about using the Why3 tool for deductive program verification.

This tutorial will take place on September 24, at 3pm CET. The zoom coordinates are below. The online event is planned to take about one hour, give or take.

Everyone welcome!!

With best regards,

Luigia Petre

on behalf of the FME Teaching Committee

Luigia Petre is inviting you to a scheduled Zoom meeting.

Topic: FMTea Tutorial Series

Time: This is a recurring meeting Meet anytime

Join Zoom Meeting


Meeting ID: 642 5443 0116

Join by SIP

64254430116 at

64254430116 at

Join by H.323

Meeting ID: 642 5443 0116

Luigia Petre, Docent, PhD
Faculty of Science and Engineering
Åbo Akademi University, Finland

More information about the ecoop-info mailing list