Aktuelles Semester
Wintersemester 2013/14 (CAMPUS: Gruppe von M. Grohe, Gruppe von W. Thomas)
- Vorlesungen
- Komplexitätstheorie (Grohe)
- Infinite Computations (Thomas)
- Regular and Context-Free Languages: Advanced Results (Thomas)
- Tree Automata (Löding)
- Grenzen (Oberschelp)
- Proseminare, Seminare, Praktika
- Sonstiges
Sommersemester 2013 (CAMPUS)
Professor Thomas hat im Sommersemester 2013 ein Forschungssemester und bietet deshalb keine Veranstaltungen an.- Vorlesungen
- 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)
- Proseminare, Seminare, Praktika
- Sonstiges