Formal Methods Europe

Homepage of FME

FM 2015 in Oslo

By Bernhard Aichernig • Feb 3rd, 2014 • Category: News

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 Norway. The University of Oslo has a long tradition working in formal methods, which stems back to the work of Ole-Johan Dahl (who was in fact invited speaker at VDM’90!).

For more details, please visit the webpage of FM 2015!

(Photo: VisitOSLO/Nancy Bundt)

Comments are closed.