Formal Methods Teaching Committee

Aim

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.

Members

To this end, the committee has members from all over the world, as follows:

Rustan Leino, Amazon Web Services, US
Leila Ribeiro, Federal University of Rio Grande do Sul, Brazil
Alexandra Mendez, Teesside University, UK
Joao Ferreira, Teesside University, UK
Catherine Dubois, ENSIIE, France
Dino Mandrioli, Politecnico di Milano, Italy
Luigia Petre (chair), Åbo Akademi University, Finland
Bernd Fisher, Stellenbosch University, South Africa
Kenji Taguchi, CAV, Japan
Graeme Smith, University of Queensland, Australia

Objectives

  1. We revive and bring up-to-date an old database of formal methods courses (http://www4.di.uminho.pt/FME-SoE/resources.html) taught worldwide. We plan to review this database yearly.
    The current FM course repository is located here: https://github.com/luigiapetre/Formal-Methods-Courses/issues.
    You can contribute courses using this form: https://fmeteaching.dudaone.com/contact.
  2. We 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. We setup a secured repository of exam exercises for formal method courses. These will be available only to teachers.
  4. We work towards achieving a BoK (Body of Knowledge) in Formal Methods, that would enable self-learning as well as various future certifications in Formal Methods. This objective will start up from earlier efforts in this direction, see http://formalmethods.wikia.com/wiki/FMBoK.
  5. We 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.

Web site

We are using the following page for information about the Formal methods Teaching Committee: https://fmeteaching.dudaone.com/

Contact

Please contact us if you would like to contribute to any of these initiatives: teaching@fmeurope.org

Share