Formal Methods Europe

Homepage of FME

Lead Story

FM 2015 in Oslo

FM 2015, the 20th Formal Methods symposium will be held at University of Oslo, Norway, 22–26 June, 2015.
The General Chair is Einar Broch Johnsen.
The PC Co-Chairs are Frank de Boer (CWI) and Nikolaj Bjorner (Microsoft Research).
Paper submission: 2 Jan 2015 (abstracts), 9 Jan 2015 (full papers).
This will be the first time that FM takes place in [...]


Sponsored by FME

Conference report ABZ 2014 Toulouse»

By Yamine Ait Ameur (July 2014)
The 4th edition of the international conference ABZ took place in Toulouse from June 2nd to June 6th., 2014. The conference records the latest development in refinement and proof state based formal methods. It follows the success of the London (2008), Orford (2010) and Pisa (2012) editions.
This edition of ABZ [...]

FME Meeting

FME Meeting at FM 2014 in Singapore»

Dear FME Member,
As usual at FM Symposia, there will be an FME business meeting at the symposium in Singapore.
The meeting will be held during lunch (12:30-14:00) on Friday, May 16. The room will be announced.
For details, please, see the Agenda.
All FME members are most welcome!


FM 2015: Invited Speakers»

We are pleased to announce the invited speakers at the next FM 2015 in Oslo.

Elvira Albert, Complutense University of Madrid, Spain
Werner Damm, OFFIS, Germany
Valérie Issarny, INRIA, France
Leslie Lamport, Microsoft Research, USA

For details on the conference, please, visit the webpage of FM 2015.