Formal Methods Europe
About FME
Contact
Become A Member
Board Members
Advisory Board
Awards Committee
Book Review Committee
Communications Committee
Industry Committee
Teaching Committee
Minutes
Documents
Formal Methods
Choosing a Formal Method
Events
Upcoming Events
FM Symposia
FormaliSE
FME Awards
About FME
Formal Methods
Events
FME Awards
awards
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
First FME Lucas Award to Dick and Faivre
2016-11-15
First FME Fellowship Awarded to Prof. Cliff Jones
2015-07-08
FME Fellowship
2015-01-08
Next »