26 of 26 courses
| Infinite Computations and Games | Infinite Computations and Games | Vorlesung | 6 | ×15Mo 10:30-12:005056 (2356|056)×15Mi 10:30-12:005056 (2356|056) |
| Infinite Computations and Games | Übung | 0 | ×15Do 12:30-14:005054 (2356|054) | |
| Model Checking | Introduction to Model Checking | Vorlesung | 6 | ×15Mi 14:30-16:00AH I (2350|028)×15Do 16:30-18:00AH I (2350|028) |
| Introduction to Model Checking | Übung | 0 | ×15Fr 12:30-14:00AH I (2350|028) | |
| Graphzerlegungen und algorithmische Anwendungen | Graph Decompositions and Algorithmic Applications | Vorlesung | 6 | ×14Di 12:30-14:00AH II (2350|111)×15Fr 14:30-16:00AH III (2350|314.1) |
| Graph Decompositions and Algorithmic Applications (Übung) | Übung | 0 | ×15Mo 14:30-16:005056 (2356|056) | |
| Probabilistic Programming | Probabilistische Programmierung | Vorlesung | 6 | ×15Mo 16:30-18:00AH II (2350|111)×15Do 12:30-14:00AH III (2350|314.1) |
| Probabilistische Programmierung | Übung | 0 | ×14Di 10:30-12:00AH I (2350|028) | |
| Semantik und Verifikation von Software | Semantik und Verifikation von Software | Vorlesung | 6 | ×14Mi 10:30-12:00AH I (2350|028)×14Do 14:30-16:00AH II (2350|111) |
| Semantik und Verifikation von Software | Übung | 0 | ×15Fr 14:30-16:00AH I (2350|028) | |
| Parametrisierte Algorithmen | Parametrisierte Algorithmen | Vorlesung | ×14Di 12:30-14:005056 (2356|056)×15Do 12:30-14:005056 (2356|056) | |
| Parametrisierte Algorithmen | Übung | 0 | ×15Mi 14:30-16:005055 (2356|055) | |
| Erfüllbarkeitsüberprüfung | Erfüllbarkeitsüberprüfung | Vorlesung/Übung | ×15Mo 10:30-12:00AH V (2356|050)×15Mi 14:30-16:00AH V (2356|050)×15Fr 14:30-15:155056 (2356|056) | |
| Dynamical Processes on Networks | Dynamical Processes on Networks | Fach-/Modulprüfung | 6 | Fr 12.02.2027 14:30-16:00Eph (1090|321)Do 11.03.2027 12:00-13:30PPS H2 (2315|001) |
| Dynamical Processes On Networks (Übungen) | Übung | 0 | ×15Do 10:30-12:00OC Hörsaal (2030|015) | |
| Dynamical Processes on Networks | Vorlesung | ×14Mo 12:30-14:00AH VI (2356|051)×13Di 16:30-18:00AH VI (2356|051) | ||
| Kombinatorische Optimierung in der wissenschaftlichen Praxis | Kombinatorische Optimierung in der wissenschaftlichen Praxis | Projekt | 0 | |
| Algorithmic Foundations of Datascience | Algorithmic Foundations of Data Science | Vorlesung | ×15Di 16:30-18:00AH I (2350|028)×15Do 14:30-16:00AH I (2350|028) | |
| Algorithmic Foundations of Data Science | Übung | 0 | ×15Mi 12:30-14:00AH I (2350|028) | |
| Cryptography | Cryptography | Fach-/Modulprüfung | 6 | Di 16.02.2027 14:00-15:30ZuseLab C1 (2315|107), ZuseLab C3 (2315|211), ZuseLab C4 (2315|201)Di 23.03.2027 09:00-10:30ZuseLab C1 (2315|107), ZuseLab C3 (2315|211) |
| Cryptography | Vorlesung/Übung | ×15Mi 14:30-16:00AH III (2350|314.1)×15Do 10:30-12:00AH III (2350|314.1)×15Fr 14:30-16:00H06 (1385|004) | ||
| Advanced Topics in Logic | Advanced Topics in Logic | Übung | 0 | ×15Mi 16:30-18:00AH III (2350|314.1) |
| Advanced Topics in Logic | Vorlesung | ×15Mo 10:30-12:00AH II (2350|111)×15Do 16:30-18:00AH II (2350|111) | ||
| Foundations of Learning on Graphs | Foundations of Learning on Graphs | Fach-/Modulprüfung | 6 | Mi 03.03.2027 09:00-11:00HKW 1 (1132|203)Do 01.04.2027 09:00-11:00AH VI (2356|051) |
| Foundations of Learning on Graphs | Vorlesung/Übung | ×15Mo 10:30-12:00MS (1220|009)×15Mi 08:30-10:00AH I (2350|028) | ||
| Research Focus Class on Logic | Research Focus Class on Logic | Projekt |