The first part of INF5160 this term consists of lectures by Prof. Dr. Willem-Paul de Roever from the Christian-Albrechts-University of Kiel. He will give a course on compositional program verification. The first lecture is 17.01. Lecturenotes can be found here. See Detaljert undervisningsplan for more details about the course content.