Wintersemester 2011/2012
- Advanced Constraint Solving
- Antwortmengenprogrammierung
- Assisted Living: Sensor and Game Technologies for an Aging Generation (former title "Wii Technology for an Aging Generation")
- Datenbank-Anwendungsprogrammierung mit PL/SQL
- Datenbankpraktikum
- Einführung in die Künstliche Intelligenz
- Semantic Technologies
- Solver Construction Project II
- Wissensverarbeitung/Wissensbasierte Systeme (Oberseminar)