Conference venue: Ole-Johan Dahl's House
Conference venue: Ole-Johan Dahl’s House

FM 2015 takes place in Ole-Johan Dahl’s House, the modern Computer Science building on the main campus of the University of Oslo.

Reception Area
The reception area
The main track auditorium
The main track auditorium

20th International Symposium on Formal Methods