Formal Methods Europe

Homepage of FME

Lead Story

FM 2016 in Cyprus

FM 2016, the 21st International Symposium on Formal Methods will be held in Cyprus, 7-11 November 2016.
The General Chair is Anna Philippou, University of Cyprus.
The PC Co-Chairs are John Fitzgerald, Newcastle University, UK, Stefania Gnesi, ISTI-CNR, Italy, and Constance Heitmeyer, US Naval Research Lab, USA.
The event will take place at the 5 star hotel St. Raphael Resort at [...]


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