16 of 16 courses
| 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) | |
| 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) | |
| 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) |
| 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) | |
| 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) | |
| 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) | |
| 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) | |
| Dynamical Processes on Networks | Dynamical Processes On Networks (Übungen) | Übung | 0 | ×14Do 10:30-12:005054 (2356|054) |
| Dynamical Processes on Networks | Vorlesung | ×13Di 12:30-14:00UMIC_024 (2165|024)×15Do 16:30-18:005054 (2356|054) | ||
| 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) | |
| Kombinatorische Optimierung in der wissenschaftlichen Praxis | Kombinatorische Optimierung in der wissenschaftlichen Praxis | Projekt | 0 | ×2Di 10:00-12:00Fakultätsseminarraum (2359|U112)×1Mi 12:00-20:00Fakultätsseminarraum (2359|U112)×1Do 08:00-20:00Fakultätsseminarraum (2359|U112)×1Fr 08:00-16:00Fakultätsseminarraum (2359|U112)×3Fr 08:30-10:005054 (2356|054)×2Fr 08:30-10:00Seminarraum i7, Raum 4116 (2353|116) |