15 of 15 courses
| Infinite Computations and Games | Infinite Computations and Games | Vorlesung | 6 | ×13Mo 10:30-12:005056 (2356|056)×1Do 14:00-15:00AH II (2350|111)×1Fr 11:00-12:00AH II (2350|111) |
| Infinite Computations and Games | Übung | 0 | ×12Mi 14:30-16:005052 (2356|052) | |
| Concurrency Theory | Concurrency Theory | Vorlesung | 6 | ×8Di 14:30-16:00AH II (2350|111)×9Do 14:30-16:00AH II (2350|111) |
| Concurrency Theory | Übung | 0 | ×8Mo 14:30-16:00AH I (2350|028)×2Do 14:30-16:00AH I (2350|028) | |
| Formale Grundlagen von UML | Theoretical Foundations of the UML (FUML) | Vorlesung | 6 | ×9Di 10:30-12:00AH III (2350|314.1)×13Do 10:30-12:00AH I (2350|028) |
| Theoretical Foundations of the UML (FUML) | Übung | 0 | ×9Do 08:30-10:00AH I (2350|028) | |
| Modeling and Verification of Probabilistic Systems | Modellierung und Verifikation probabilistischer Systeme | Vorlesung | 6 | ×10Mo 12:30-14:00AH I (2350|028)×11Do 12:30-14:00AH II (2350|111) |
| Modellierung und Verifikation probabilistischer Systeme | Übung | 0 | ×1Do 12:30-14:00AH II (2350|111)×12Do 16:30-18:00AH I (2350|028) | |
| Komplexitätstheorie | Komplexitätstheorie | Vorlesung | 6 | ×15Do 12:30-14:00AH VI (2356|051)×1Fr 12:30-14:00AH I (2350|028) |
| Übung zur Vorlesung Komplexitätstheorie | Übung | 0 | ×13Fr 12:30-14:00AH I (2350|028) | |
| Mathematische Logik II | Mathematische Logik II | Vorlesung | 0 | ×12Mo 10:30-12:00IV (1010|141)×13Di 12:30-14:00AH I (2350|028) |
| Mathematische Logik II | Übung | 0 | ×11Di 14:15-15:45AH I (2350|028)×1Di 14:30-16:00AH I (2350|028)×1Mi 08:30-12:00AH II (2350|111)×1Do 10:30-12:30AH II (2350|111) | |
| Erfüllbarkeitsüberprüfung | Erfüllbarkeitsüberprüfung | Vorlesung/Übung | ×13Mo 08:30-10:00AH III (2350|314.1)×12Di 10:30-11:15AH VI (2356|051)×13Fr 08:30-10:00AH II (2350|111) | |
| Kombinatorische Optimierung in der wissenschaftlichen Praxis | Kombinatorische Optimierung in der wissenschaftlichen Praxis | Projekt | 0 | ×13Mo 12:15-14:155056 (2356|056)×14Di 10:30-12:00Seminarraum i7, Raum 4116 (2353|116)×12Fr 12:30-14:00Seminarraum i7, Raum 4116 (2353|116) |
| Post-quantum cryptography | Post-quantum cryptography | Vorlesung/Übung | ×13Mo 16:30-18:00AH V (2356|050)×8Mi 16:30-18:00AH I (2350|028)×9Do 16:30-18:00AH III (2350|314.1) |