SUMMER 12

In the summer term 2012 we offer:

	Basic Course: Nebenläufige Programmierung
	Advanced Course: Concurrent and Mobile Languages
	Advanced Course: Applied Concurrency Theory (Block Course in September 2012)
	Preparatory course: Mathematischer Vorkurs für Informatiker (during summer break)

Further, we support and recommend the advanced course on Quantitative Model Checking.