| Course | Teacher |
|---|---|
| Lecture: Satisfiability Checking |
Ábrahám, Corzilius, Jansen, Loup |
| Software-Projektpraktikum: Explorative Suche mit Lego Mindstorms Robotern |
Ábrahám, Nellen |
| Proseminar: Algorithms and Tools for Verification |
Ábrahám, Chen, Corzilius, Jansen, Loup, Nellen |