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

{More»}

Sponsored by FME

Call for Papers: FormaliSE 2015»

Call for Papers: FormaliSE 2015
3rd FME Workshop on Formal Methods in Software Engineering
to be held on 18 May 2015 in conjunction with
ICSE 2015 (May 16th-May 24th), in Florence, Italy
http://www.formalise.org/
INTRODUCTION
The software industry has a long-standing and well-earned reputation for
failing to deliver on its promises and it is clear that still nowadays,
the success of software projects with [...]

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!

News

Call for Proposals: FM Symposium 2016/17»

The FME board is inviting proposals to arrange the 21st International Symposium on Formal Methods in Autumn 2016 or Winter 2017.
See the attached Call for Proposals.