Summer Term 09

In the summer term 2009 we offer the following courses:

• Graduate Seminar "Formale Methoden"
• CASED Kolloquium (Thursday, 16:15, S2-02-C110) -- cancelled
• Distinguished Lectures Series (Thursday, 16:15, S2-02-C110)

During the summer term, Prof. Dr. Mantel had a research semester. Therefore no lectures, tutorials, labs, or seminars took place.

(Prof. Dr. Mantel hatte im Sommersemester 2009 ein Forschungssemester. Deshalb fanden keine Vorlesungen, Übungen, Praktika und Seminare statt.)