SOMMER 12

Im Sommersemester 2012 werden wir die folgenden Veranstaltungen anbieten:

	Grundvorlesung: Nebenläufige Programmierung
	Vertiefungsvorlesung: Concurrent and Mobile Languages
	Vertiefungsvorlesung: Applied Concurrency Theory (Blockveranstaltung im September)
	Mathematischer Vorkurs für Informatiker (in den Semesterferien)

Eine weitere Vertiefungsvorlesung, die wir unterstützen und empfehlen ist Quantitative Model Checking.