13 of 13 courses
| Foundations of Functional Programming | Foundations of Functional Programming | Vorlesung | 6 | ×10Mo 12:30-14:00AH II (2350|111)×1Mo 13:00-16:00AH IV (2354|030)×1Mo 15:00-16:30AH IV (2354|030)×10Di 16:30-18:00AH I (2350|028)×1Fr 14:30-16:00AH II (2350|111) |
| Foundations of Functional Programming | Übung | 0 | ×10Mi 14:30-16:00AH V (2356|050)×1Mi 16:30-18:005052 (2356|052)×9Do 08:30-10:00AH I (2350|028)×9Do 16:30-18:00AH I (2350|028)×9Fr 14:30-16:00AH II (2350|111)×1Fr 14:30-16:00PPS H2 (2315|001) | |
| Statische Programmanalyse | Statische Programmanalyse | Vorlesung | 6 | ×10Di 14:30-16:00AH III (2350|314.1)×8Do 14:30-16:00AH I (2350|028) |
| Statische Programmanalyse | Übung | 0 | ×8Mi 16:30-18:00AH II (2350|111) | |
| Algorithmische Spieltheorie | Algorithmische Spieltheorie | Vorlesung | 6 | ×3Mo 14:30-16:005056 (2356|056)×9Mo 14:30-16:00AH V (2356|050)×1Mi 12:30-14:005055 (2356|055)×9Mi 12:30-14:00AH V (2356|050)×1Mi 12:30-14:00Großer B-IT Raum (2356|053.2) |
| Modeling and Verification of Probabilistic Systems | Modellierung und Verifikation probabilistischer Systeme | Vorlesung | 6 | ×11Mi 14:30-16:005056 (2356|056)×10Do 12:30-14:005056 (2356|056) |
| Modellierung und Verifikation probabilistischer Systeme | Übung | 0 | ×9Fr 14:30-16:005056 (2356|056)×2Fr 14:30-16:00t.b.d. | |
| Fixpoints and Induction in Logic and Computer Science | Fixpoints and Induction in Logic and Computer Science | Übung | 0 | ×4Mo 12:30-14:00Seminarraum i7, Raum 4116 (2353|116)×6Fr 12:30-14:005056 (2356|056)×1Fr 12:30-14:00Seminarraum i7, Raum 4116 (2353|116) |
| Fixpoints and Induction in Logic and Computer Science | Vorlesung | ×13Mo 10:30-12:005056 (2356|056)×6Do 10:30-12:005056 (2356|056) | ||
| Introduction to Quantum Computing | Introduction to Quantum Computing | Übung | 0 | ×12Fr 10:30-12:00Grüner Hörsaal AM (Gr) (1420|001) |
| Introduction to Quantum Computing | Vorlesung | ×13Di 14:30-16:00Otto Fuchs-Hörsaal (H03) (1385|003)×12Do 12:30-14:00TEMP2 (1515|002) | ||
| Near-term Quantum Computation | Near-term Quantum Computation | Übung | 0 | ×12Fr 10:30-12:00Eph (1090|321)×1Fr 10:30-12:00R 5 (1080|005) |
| Near-term Quantum Computation | Vorlesung | ×12Do 16:30-18:00Eph (1090|321) |