SUMMER 09

In the summer term 2009 we offer:

	Basisvorlesung: Concurrent Programming
	Seminar: Concurrency Theory
	Advanced course: Quantitative Model Checking
	Advanced course: Program Verification Using Separation Logic