Formal Methods Europe

Homepage of FME

Lead Story

FME Fellowship Award: Call for Nominations

Nominations for Formal Methods Europe Fellowship Award should be sent to The deadline for nominations is December 1, 2017.


Sponsored by FME

FormaliSE 2017 co-located with ICSE in Buenos Aires, Argentina»

FormaliSE 2017, the 5th FME Workshop on Formal Methods in Software Engineering, will be co-located with ICSE, 20–28 May 2017, in Buenos Aires, Argentina
FormaliSE is a yearly workshop on Formal Methods in Software Engineering. FormaliSE is organized by FME (Formal Methods Europe). FormaliSE 2017 will be organised on 27 May 2017, co-located with ICSE in [...]

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 [...]


FM 2018: keynote speakers»

The keynote speakers for FM2018 have just been announced:

Annabelle McIver, Macquarie University, Sydney, Australia
Leonardo de Moura, Microsoft Research, Redmond, USA
Kim Guldstrand Larsen, Aalborg University & UP4ALL, Denmark

See the FM2018 website for more information.