18 of 18 courses
| 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) |
| 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) | |
| 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) | |
| 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) | |
| Provenance Analysis and Semiring Semantics for Logics and Games | Provenance Analysis and Semiring Semantics for Logics and Games | Vorlesung | ×13Di 14:30-16:00AH II (2350|111) | |
| 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) | ||
| Foundations of Functional Programming | Foundations of Functional Programming | Vorlesung | 6 | ×10Mo 16:30-18:00AH V (2356|050)×10Fr 10:30-12:00AH V (2356|050)×1Fr 14:30-16:00AH V (2356|050) |
| Foundations of Functional Programming | Übung | 0 | ×1Di 09:30-12:00AH VI (2356|051)×1Do 10:00-13:00AH II (2350|111)×1Fr 14:30-16:00AH IV (2354|030)×10Fr 14:30-16:00AH V (2356|050) | |
| 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) | ||
| Machine Learning with Graphs: Foundations and Applications | Machine Learning with Graphs: Foundations and Applications | Vorlesung/Übung | ×14Mo 10:30-12:00BS I (2131|101)×10Do 10:30-12:00R 5 (1080|005)×13Fr 10:30-12:00S02 (1385|202) |