Formal Methods Teaching Committee

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.

Events & Meetings

We organise events and meetings.

Courses Database

We maintain a database of FM courses.

Case Studies

We maintain a list of FM case studies.

Objectives

Our objectives are:

  1. To revive bring up-to-date an old database of formal methods courses taught worldwide. We plan to review this database yearly. The current FM course repository is available online. You can contribute courses using the form below.

  2. To setup a repository of formal methods case studies, containing simpler as well as more complex examples of using formal methods. This can be liken to the Github repository for software or the Biomodels database for computational models of biological processes. The simpler examples can be for instance used in teaching, while the more complex for (self-)learning various formal methods and for demonstrating the formal methods strength to, for instance, industry.

  3. To setup a secured repository of exam exercises for formal method courses. These will be available only to teachers.

  4. To work towards achieving a BoK (Body of Knowledge) in Formal Methods, that can enable self-learning as well as various future certifications in Formal Methods. This objective will start up from earlier efforts in this direction.

  5. To setup a list of “summer” schools in Formal Methods.

In the long run, we have the following goals:

  1. We plan to coordinate “providers” and “consumers” of Formal Methods, so that when some researcher or industrial partner needs certain knowledge in Formal Methods, we can advice where to address these needs.

  2. We plan to investigate whether certain degrees in Formal Methods are feasible. We aim to see whether an International MSc program in Formal Methods can be organised, for instance.

  3. We plan to make industry and life sciences beneficiaries of Formal Methods, by providing case studies from Academia to Industry/Science to demonstrate potential and by getting interesting/real life problems to analyse from Industry/Science to Academia.

Inspiration for Teaching FM

Secret Ninja Formal Methods

by Joseph Kiniry and Daniel Zimmerman, 2008

FM Courses

Our searchable database of formal methods courses is available online. You can use the form below to add a new course.

Submit a new course

  • Abstract Interpretation
  • Coq

Events

FMTea 2019: Formal Methods Teaching Workshop and Tutorial

Porto, Portugal. Oct 7, 2019

Members

The committee has members from all over the world:

We also keep a list of previous members.

Meetings

Sixth Meeting (2020/03/04)

Present at the meeting: Klaus, Claudio, Rustan, Leila, Catherine, Graeme, Brijesh, Pierluigi, Luigia On the agenda: FMTea workshop …

Fifth Meeting (2019/10/06)

Present at the meeting: Catherine Dubois, Kristin Rozier, Alexandra Mendes, João Ferreira, Claudio Menghi, Klaus Havelund, Emil …

Fourth Meeting (2019/04/02)

As we are all over the world, for some the (skype) meeting took place on April 2nd and for some on April 3rd. Present at this meeting: …

Third Meeting (2018/11/06)

New members Brijesh Dongol and Pierluigi San Pietro joined us and shortly introduced themselves. We checked the current database of FM …

Second Meeting (2018/05/23)

Welcome back! This time Alexandra and Joao could not make it, otherwise everyone was in, despite the challenging hours. We had this …