Current Semester
Summer Term 2013 (CAMPUS)
During his sabbatical in summer 2013, Professor Thomas does not give any courses.- Lectures
- Formale Systeme, Automaten, Prozesse (Grohe)
- Theory of Constraint Satisfaction Problems (Grohe)
- Applied Automata Theory (Löding)
- Automaten, Sprachen, Komplexität (Löding)
- Logik und Empirie (Oberschelp)
- Seminars, Practical Courses
- Seminar über Automatentheorie (Löding)
- Seminar Distance Oracles (Grohe)
- Informatikpraktikum für Mathematiker
- Miscellanea