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

Report on AVoCS/AI4FM 2015 Edinburgh»

The 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) and the collocated 6th International Workshop on AI for Formal Methods (AI4FM 2015) were hosted by the School of Mathematical and Computer Sciences within Heriot-Watt University on September 1-4, 2015. The workshops took place in headquarters of the International [...]

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