14 of 14 courses
| Model Checking | Introduction to Model Checking | Vorlesung | 6 | ×12Mi 12:30-14:00AH I (2350|028)×14Do 10:30-12:00AH III (2350|314.1) |
| Introduction to Model Checking | Übung | 0 | ×1Mo 12:30-14:005056 (2356|056)×1Di 10:45-13:155056 (2356|056)×10Do 08:30-10:00AH III (2350|314.1)×1Do 09:55-12:305056 (2356|056) | |
| Erfüllbarkeitsüberprüfung | Erfüllbarkeitsüberprüfung | Vorlesung/Übung | ×13Mo 08:30-10:00AH I (2350|028)×14Mo 16:30-17:155056 (2356|056)×13Di 08:30-10:00AH V (2356|050) | |
| Infinite Computations and Games | Infinite Computations and Games | Vorlesung | 6 | ×14Mo 12:30-14:005056 (2356|056)×12Do 12:30-14:005056 (2356|056) |
| Infinite Computations and Games | Übung | 0 | ×12Mo 12:30-14:005056 (2356|056)×1Di 13:00-14:00AH IV (2354|030)×1Fr 13:00-14:00AH IV (2354|030) | |
| Algorithmische Spieltheorie | Algorithmische Spieltheorie | Vorlesung | 6 | ×3Mo 10:30-12:005054 (2356|054)×9Mo 10:30-12:00AH III (2350|314.1)×1Mo 10:30-12:00AH V (2356|050)×12Di 10:30-12:00AH II (2350|111) |
| Semantik und Verifikation von Software | Semantik und Verifikation von Software | Vorlesung | 6 | ×13Mo 12:30-14:00AH II (2350|111)×12Di 12:30-14:00AH II (2350|111) |
| Semantik und Verifikation von Software | Übung | 0 | ×11Do 16:30-18:00AH III (2350|314.1)×1Do 16:30-18:00TEMP1 (1515|001) | |
| Graphzerlegungen und algorithmische Anwendungen | Graph Decompositions and Algorithmic Applications | Vorlesung | 6 | ×13Mi 10:30-12:00AH III (2350|314.1)×9Fr 12:30-14:00AH III (2350|314.1) |
| Graph Decompositions and Algorithmic Applications (Übung) | Übung | 0 | ×14Mo 12:30-14:00AH I (2350|028) | |
| Stochastic Games | Stochastic Games | Vorlesung | ×13Di 12:30-14:005055 (2356|055)×2Fr 11:00-12:305056 (2356|056) | |
| Stochastic Games | Übung | 0 | ×8Do 10:30-12:00Seminarraum i7, Raum 4116 (2353|116) | |
| Introduction to Algorithmic Differentiation | Einführung in Algorithmisches Differenzieren | Vorlesung/Übung | 6 | ×14Di 10:30-12:00AH III (2350|314.1)×15Mi 10:30-12:00AH IV (2354|030) |
| Post-quantum cryptography | Post-quantum cryptography | Vorlesung/Übung | ×15Mo 10:30-12:00AH II (2350|111)×14Mi 12:30-14:00AH III (2350|314.1)×12Do 16:30-18:00AH V (2356|050) |