18 of 18 courses
| 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) | |
| 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) | |
| 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) | |
| 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) | ||
| Introduction to Algorithmic Differentiation | Einführung in Computational Differentiation | Fach-/Modulprüfung | 6 | Fr 26.02.2027 14:30-16:30TEMP1 (1515|001), Großer Hörsaal AM (1420|210)Do 25.03.2027 16:30-18:30Großer Hörsaal AM (1420|210) |
| Einführung in Algorithmisches Differenzieren | Vorlesung/Übung | 6 | ×15Mo 14:30-16:00AH III (2350|314.1)×15Mi 12:30-14:00AH III (2350|314.1)×15Do 08:30-10:00MetP11 (2181|102) | |
| Lineare Optimierung und Netzwerkalgorithmen | Lineare Optimierung und Netzwerkalgorithmen | Vorlesung | ×15Mo 08:30-10:00III (1010|107)×15Fr 12:30-14:00V (1010|213) | |
| Lineare Optimierung und Netzwerkalgorithmen | Übung | 0 | ×15Mi 08:30-10:00R 140 (1080|140)×2Fr 12:30-14:00Otto Fuchs-Hörsaal (H03) (1385|003) | |
| 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) |