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

CfP: Doctoral Symposium of FM 2015»

Doctoral Symposium of Formal Methods 2015
22 June 2015, Oslo, Norway
Call for Papers
Important Dates
Submission: 20 March 2015
Notification: 3 April 2015
Doctoral Symposium: 22 June 2015
Goals and Scope
A Doctoral Symposium will be held on 22 June in conjunction with the 20th
International Symposium on Formal Methods, which will take place in Oslo,
Norway, from 22 to 26 June [...]

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!


FME Fellowship»

Dear Colleague,
The FME Board is pleased to announce the creation of the FME Fellowship, a
distinction that will be awarded approximately every three years, during an
FME symposium, to researchers and practitioners of formal methods.
Given in recognition of technical achievements in advancing, applying, and
promoting formal methods, the fellowship rewards scientific breakthroughs and
pioneering work that have made a [...]