WINTER 11/12

Im Wintersemester 2011/12 werden wir die folgenden Veranstaltungen anbieten:

	Grundvorlesung: Programmierung I
	Seminar: Concurrency Theory
	Doctoral privatissimum: Probabilistic Concurrency Models

Wir bieten außerdem einen intensiven Blockkurs für zukünftige Tutoren an.