SOMMER 2017

Im Sommersemester 2017 werden wir die folgenden Veranstaltungen anbieten:


Vertiefungsvorlesung: Ethics for Nerds
Grundvorlesung: Nebenläufige Programmierung
Vertiefungsvorlesung: Quantitative Model Checking