13 of 13 courses
| Model Checking | Introduction to Model Checking | Vorlesung | 6 | ×1Mo 12:00-14:005055 (2356|055)×10Mo 16:30-18:00AH II (2350|111)×12Di 18:30-20:00AH III (2350|314.1)×1Do 09:50-15:005052 (2356|052) |
| Introduction to Model Checking | Übung | 0 | ×13Fr 12:30-14:00AH II (2350|111) | |
| Semantik und Verifikation von Software | Semantik und Verifikation von Software | Vorlesung | 6 | ×8Mo 12:30-14:00AH III (2350|314.1)×9Di 12:30-14:00AH VI (2356|051)×1Di 13:00-14:00AH VI (2356|051) |
| Semantik und Verifikation von Software | Übung | 0 | ×10Mi 10:30-12:00AH I (2350|028) | |
| Theory of Distributed and Parallel Systems | Theorie Verteilter und Paralleler Systeme | Vorlesung | 0 | ×13Di 16:30-18:00AH III (2350|314.1)×9Do 16:30-18:00AH III (2350|314.1) |
| Theorie Verteilter und Paralleler Systeme Übung | Übung | 0 | ×9Di 14:30-16:005055 (2356|055)×2Di 14:30-16:00Seminarraum i1, Raum 4017 (2353|017) | |
| The Graph Isomorphism Problem | The Graph Isomorphism Problem | Vorlesung | 6 | ×10Di 08:30-10:00AH II (2350|111)×9Do 14:30-16:00AH II (2350|111) |
| The Graph Isomorphism Problem (Übung) | Übung | 0 | ×10Fr 12:30-14:005054 (2356|054) | |
| Quantum Computing | Quanten-Computing | Vorlesung | ×11Mo 14:30-16:00AH I (2350|028)×1Mi 10:00-12:00AH II (2350|111)×1Do 14:00-16:00AH III (2350|314.1) | |
| Algorithmic Foundations of Datascience | Algorithmic Foundations of Datascience | Vorlesung | ×10Di 16:30-18:00AH I (2350|028)×9Do 08:30-10:00AH II (2350|111) | |
| Algorithmic Foundations of Datascience | Übung | 0 | ×1Di 14:00-15:30AH II (2350|111)×1Fr 14:00-17:00AH I (2350|028)×8Fr 14:30-16:00AH II (2350|111) | |
| Fixpoints and Induction in Logic and Computer Science | Fixpoints and Induction in Logic and Computer Science | Übung | 0 | ×10Do 12:30-14:005054 (2356|054) |
| Fixpoints and Induction in Logic and Computer Science | Vorlesung | ×12Mi 10:30-12:005052 (2356|052)×6Do 10:30-12:005056 (2356|056) |