Formal Methods Europe

Homepage of FME

Lead Story

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


Sponsored by FME

FMICS-AVoCS 2016, Pisa, 26-28 September 2016»

International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (FMICS-AVoCS 2016)
CNR, Pisa, Italy, 26-28 September 2016
In 2016, FMICS and AVoCS join their forces to hold a workshop combining their themes of formal methods and automated verification. For FMICS, this will be the 21st, for AVoCS the 16th edition.
The aim [...]

FME Meeting

FME Annual General Meeting in Eindhoven, 8 April 2016»

Dear FME Member,
This year we will hold our Annual General Meeting at ETAPS 2016 in Eindhoven.
The AGM will take place on Friday, 8 April 2016, 09:00-11:00 hrs at the Eindhoven University of Technology, Room ZD 2.03 in the Zwarte Doos building in Eindhoven, The Netherlands.
Below you find the relevant AGM documents:
FME Report on 2015
FME [...]


Call for Papers: FM 2016»

FM 2016: 21st International Symposium on Formal Methods
Limassol, Cyprus, 7-11 November 2016
• Abstract submission deadline: 16 May 2016
• Full paper submission deadline: 30 May 2016
• Notification: 8 August 2016
• Conference: 7-11 November 2016
FM 2016 is the latest in a series of symposia organized by Formal Methods Europe, [...]