FM 2015 in Oslo

FM2015 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 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)

Author: Bernhard Aichernig