Formal Methods Europe
About FME
What is FME?
Contact
Become A Member
Board Members
Advisory Board
Minutes
Documents
Committees
Awards Committee
Book Review Committee
Communications Committee
Industry Committee
Teaching Committee
Formal Methods
What are Formal Methods?
Choosing a Formal Method
Events
Upcoming Events
FM Symposia
FormaliSE
FMTea
Code of Conduct
Code of Diversity
FME Awards
About FME
Committees
Formal Methods
Events
FME Awards
Awards
FME Fellowship Awarded to Prof. Jeannette Wing
2024-09-09
Call for Nominations: FME Fellowship Award 2024
2023-11-04
Third FME Lucas Award to Blazy, Dargaye and Leroy
2023-03-07
FME Fellowship Awarded to Prof. Dines Bjørner
2021-11-24
Call for Nominations: FME Fellowship Award 2021
2020-10-30
FME Fellowship Awarded to Prof. José Meseguer
2019-10-10
Second FME Lucas Award to Syverson and Stubblebine
2019-10-09
Call for Nominations: FME Fellowship Award
2018-10-16
FME Fellowship Awarded to Prof. Manfred Broy
2018-07-13
FME Fellowship Award
2017-09-20
Next »