Prof  Prof. Magne Haveraaen from University of Bergen visits the department and gives a talk “Specifying software the Magnolia way”  on 10th, Dec 2015.