FME has established a teaching committee to support a worldwide improvement in learning formal methods, mainly by teaching but also via self-learning.
More information is available here
The committee is chaired by Luigia Petre and consists of
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
- Maintain a database of formal methods courses
- Establish a repository of formal methods case studies
- Establish a secured repository of exam exercises for formal method courses.
- Achieve a BoK (Body of Knowledge) in Formal Methods
- Maintain a web page of “summer” schools in Formal Methods.
In the long run, we have the following goals:
- Connect “providers” and “consumers” of Formal Methods
- Investigate feasibility of degrees in Formal Methods, such as an International MSc program in Formal Methods
- Make industry and life sciences beneficiaries of Formal Methods