21 of 21 courses
| 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) |
| Algorithmic Game Theory | Fach-/Modulprüfung | 6 | Do 03.09.2026 09:00-10:30AH IV (2354|030) | |
| 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. | |
| Modellierung und Verifikation probabilistischer Systeme | Fach-/Modulprüfung | 6 | Di 15.09.2026 09:00-11:00H06 (1385|004) | |
| Fixpoints and Induction in Logic and Computer Science | Prüfung Fixpoints and Induction in Logic and Computer Science | Fach-/Modulprüfung | 6 | Di 22.09.2026 09:00-11:00AH VI (2356|051) |
| 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) | ||
| 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) | |
| Foundations of Functional Programming | Fach-/Modulprüfung | 6 | Do 17.09.2026 12:30-14:30Großer Hörsaal AM (1420|210), TEMP2 (1515|002) | |
| Introduction to Quantum Computing | Introduction to Quantum Computing | Fach-/Modulprüfung | 6 | Di 15.09.2026 09:00-10:30P4 (3210|142), P1 (3210|108) |
| 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 | Fach-/Modulprüfung | 6 | Do 20.08.2026 09:00-15:00 |
| 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) | ||
| Mathematische Heuristiken in der diskreten Optimierung | Mathematische Heuristiken in der diskreten Optimierung | Übung | 0 | ×14Mi 12:30-14:005056 (2356|056) |
| Mathematische Heuristiken in der diskreten Optimierung | Vorlesung | ×13Di 08:30-10:005056 (2356|056)×13Fr 10:30-12:005056 (2356|056) |