Current Semester
Winter Term 2013/14 (CAMPUS: Group of M. Grohe, Group of W. Thomas)
- Lectures
- Komplexitätstheorie (Grohe)
- Infinite Computations (Thomas)
- Regular and Context-Free Languages: Advanced Results (Thomas)
- Tree Automata (Löding)
- Grenzen (Oberschelp)
- Seminars, Practical Courses
- Miscellanea
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