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

Upcoming: AVOCS 2014»

The aim of Automated Verification of Critical Systems (AVoCS) 2014
( is to contribute to the interaction and
exchange of ideas among members of the international research
community on tools and techniques for the verification of critical
systems. It covers all aspects of automated verification, including
model checking, theorem proving, SAT/SMT constraint solving, abstract
interpretation, and refinement pertaining to various types [...]

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.