Formal Methods Europe

Homepage of FME

Lead Story

FME Teaching Committee

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


Sponsored by FME

FormaliSE 2018 with ICSE in Gothenburg»

Call for Participation:
FormaliSE 2018
Conference on Formal Methods in Software Engineering (June 2nd, 2018)
co-located with ICSE 2018, Gothenburg, Sweden

FME Meeting

FME 64th Meeting at iFM2017, 20 September 2017»

You are invited to attend the FME business meeting in Turin on 20 September 2017. The meeting will be hosted by the University of Torino and co-located with the Integrated Formal Methods (iFM2017) conference.
Please refer to the agenda for more information.
The minutes from the previous FME business meeting in London are available on the [...]


CfP FM 2018 Doctoral Symposium»

Call for Papers – FM 2018 Doctoral Symposium - Saturday July 14, 2018

New Submission deadline:  29 April 2018
Notification:   15 May 2018
Doctoral Symposium:  14 July 2018