14 of 14 courses
| Statische Programmanalyse | Statische Programmanalyse | Vorlesung | 6 | ×9Mo 10:30-12:00AH II (2350|111)×11Di 10:30-12:00AH II (2350|111) |
| Statische Programmanalyse | Übung | 0 | ×8Fr 10:30-12:00AH II (2350|111) | |
| Modellierung und Analyse hybrider Systeme | Modellierung und Analyse hybrider Systeme | Vorlesung/Übung | 6 | ×12Di 12:30-14:00AH II (2350|111)×12Fr 10:30-12:00AH III (2350|314.1) |
| Algorithmische Modelltheorie I | Algorithmische Modelltheorie | Vorlesung | ×13Mo 12:30-14:00AH II (2350|111)×11Mi 12:30-14:00AH I (2350|028) | |
| Algorithmische Modelltheorie | Übung | 0 | ×10Do 16:30-18:00IV (1010|141) | |
| Probabilistic Programming | Probabilistische Programmierung | Vorlesung | 6 | ×8Mo 10:30-12:00AH III (2350|314.1)×7Di 12:30-14:00AH V (2356|050)×2Mi 16:30-18:00AH III (2350|314.1)×1Fr 10:30-12:00AH II (2350|111)×1Fr 14:30-16:00AH II (2350|111) |
| Probabilistische Programmierung | Übung | 0 | ×2Di 12:30-14:00AH V (2356|050)×7Mi 16:30-18:00AH III (2350|314.1) | |
| Fixpoints and Induction in Logic and Computer Science | Prüfung Fixpoints and Induction in Logic and Computer Science | Fach-/Modulprüfung | 6 | |
| Fixpoints and Induction in Logic and Computer Science | Übung | 0 | ×11Mo 16:30-18:005052 (2356|052) | |
| Fixpoints and Induction in Logic and Computer Science | Vorlesung | ×12Mo 10:30-12:005056 (2356|056)×8Do 10:30-12:005056 (2356|056) | ||
| Introduction to Quantum Computing | Introduction to Quantum Computing | Übung | 0 | ×10Do 14:30-16:00AH III (2350|314.1) |
| Introduction to Quantum Computing | Vorlesung | ×14Mo 12:30-14:00AH III (2350|314.1)×9Fr 14:30-16:00AH III (2350|314.1) | ||
| Near-term Quantum Computation | Near-term Quantum Computation | Übung | 0 | ×10Do 09:15-10:00R 140 (1080|140)×1Do 09:15-10:00R 5 (1080|005) |
| Near-term Quantum Computation | Vorlesung | ×13Di 08:30-10:305056 (2356|056)×10Do 08:30-09:15R 140 (1080|140)×1Do 08:30-09:15R 5 (1080|005) |