Formal Methods Europe

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

Members

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

Objectives

1. Maintain a database of formal methods courses
2. Establish a repository of formal methods case studies
3. Establish a secured repository of exam exercises for formal method courses.
4. Achieve a BoK (Body of Knowledge) in Formal Methods
5. Maintain a web page of “summer” schools in Formal Methods.

In the long run, we have the following goals:

1. Connect “providers” and “consumers” of Formal Methods
2. Investigate feasibility of degrees in Formal Methods, such as an International MSc program in Formal Methods
3. Make industry and life sciences beneficiaries of Formal Methods