18 of 18 courses
| Model Checking | Introduction to Model Checking | Vorlesung | 6 | ×1Di 10:00-11:30AH VI (2356|051)×10Mi 12:30-14:00AH III (2350|314.1)×1Do 09:00-11:30AH VI (2356|051)×12Do 10:30-12:00AH I (2350|028) |
| Introduction to Model Checking | Übung | 0 | ×11Fr 14:30-16:00AH III (2350|314.1) | |
| Erfüllbarkeitsüberprüfung | Erfüllbarkeitsüberprüfung | Vorlesung/Übung | ×1Mo 09:15-13:30Großer B-IT Raum (2356|053.2)×13Mi 08:30-10:00AH IV (2354|030)×13Do 10:30-12:00AH V (2356|050)×12Fr 12:30-13:155056 (2356|056) | |
| Algorithmic Foundations of Datascience | Algorithmic Foundations of Data Science | Vorlesung | ×11Di 16:30-18:00AH I (2350|028)×13Mi 08:30-10:00AH I (2350|028) | |
| Algorithmic Foundations of Data Science | Übung | 0 | ×15Do 12:30-14:00IPC Hörsaal (2400|U101) | |
| Infinite Computations and Games | Infinite Computations and Games | Vorlesung | 6 | ×13Mo 10:30-12:005056 (2356|056) |
| Infinite Computations and Games | Übung | 0 | ×1Di 14:00-15:00Seminarraum i7, Raum 4116 (2353|116)×12Do 10:30-12:005056 (2356|056)×1Do 14:15-15:45AH IV (2354|030) | |
| Komplexitätstheorie | Komplexitätstheorie | Vorlesung | 6 | ×12Mi 08:30-10:00AH III (2350|314.1)×9Do 16:30-18:00AH II (2350|111) |
| Übung zur Vorlesung Komplexitätstheorie | Übung | 0 | ×11Mi 14:30-16:00AH II (2350|111)×1Mi 14:30-16:00AH IV (2354|030) | |
| Concurrency Theory | Concurrency Theory | Vorlesung | 6 | ×9Di 14:30-16:00AH II (2350|111)×9Do 14:30-16:00AH II (2350|111) |
| Concurrency Theory | Übung | 0 | ×13Fr 08:30-10:00AH III (2350|314.1) | |
| The Graph Isomorphism Problem | The Graph Isomorphism Problem | Vorlesung | 6 | |
| The Graph Isomorphism Problem (Übung) | Übung | 0 | ||
| Analyse von Algorithmen | Analyse von Algorithmen | Vorlesung | 0 | ×14Mi 10:30-12:005055 (2356|055)×15Fr 10:30-12:00AH III (2350|314.1) |
| Probabilistic Programming | Probabilistische Programmierung | Vorlesung | 6 | ×11Mi 16:30-18:00AH III (2350|314.1)×9Do 08:30-10:00AH I (2350|028) |
| Probabilistische Programmierung | Übung | 0 | ×11Mo 10:30-12:00AH III (2350|314.1)×1Fr 14:30-16:00AH VI (2356|051) | |
| Post-quantum cryptography | Post-quantum cryptography | Vorlesung/Übung | ×14Di 16:30-18:00AH IV (2354|030)×14Mi 16:30-18:00AH I (2350|028)×12Fr 14:30-16:00AH I (2350|028) | |
| Machine Learning with Graphs: Foundations and Applications | Machine Learning with Graphs: Foundations and Applications | Vorlesung/Übung | ×15Mo 08:30-10:00H05 (1385|105)×14Mi 12:30-14:00IPC Hörsaal (2400|U101)×15Fr 12:30-14:00H05 (1385|105) |