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