SOMMER 09

Im Sommersemester 2009 werden wir anbieten:

	Basisvorlesung: Nebenläufige Programmierung
	Seminar: Concurrency Theory
	Vertiefungsvorlesung: Quantitative Model Checking
	Spezialvorlesung: Program Verification Using Separation Logic