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.