14 of 14 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) | |
| 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) | |
| 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) | |
| 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) | |
| 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) | |
| Algorithmische Lerntheorie | Algorithmische Lerntheorie | Vorlesung | ×10Mo 12:30-14:00AH III (2350|314.1)×10Di 08:30-10:00AH III (2350|314.1) | |
| Algorithmische Lerntheorie (Übung) | Übung | 0 | ×1Do 08:00-09:00AH II (2350|111)×1Fr 10:00-11:00AH II (2350|111)×1Fr 14:30-16:005052 (2356|052)×8Fr 14:30-16:005056 (2356|056)×1Fr 14:30-16:00Seminarraum i7, Raum 4116 (2353|116) | |
| Introduction to Algorithmic Differentiation | Einführung in Algorithmisches Differenzieren | Vorlesung/Übung | 6 | ×14Mo 10:30-12:00AH III (2350|314.1)×14Mi 10:30-12:00AH III (2350|314.1) |
| 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) |