20 of 20 courses
| Compilerbau | Compilerbau | Vorlesung | 6 | ×1Mo 13:30-16:30AH VI (2356|051)×12Di 12:30-14:00AH III (2350|314.1)×11Mi 14:30-16:00AH III (2350|314.1) |
| Compilerbau | Übung | 0 | ×1Mo 14:45-16:45AH I (2350|028)×13Fr 12:30-14:00AH II (2350|111) | |
| Modeling and Verification of Probabilistic Systems | Modellierung und Verifikation probabilistischer Systeme | Vorlesung | 6 | ×11Di 10:30-12:005055 (2356|055)×1Di 10:30-12:00UMIC_025 (2165|025)×10Mi 08:30-10:005056 (2356|056) |
| Modellierung und Verifikation probabilistischer Systeme | Übung | 0 | ×11Do 14:30-16:005056 (2356|056) | |
| Fixpoints and Induction in Logic and Computer Science | Fixpoints and Induction in Logic and Computer Science | Übung | 0 | ×3Mi 12:30-14:00Seminarraum i7, Raum 4116 (2353|116)×8Fr 12:30-14:005052 (2356|052) |
| Fixpoints and Induction in Logic and Computer Science | Vorlesung | ×11Mo 10:30-12:005056 (2356|056)×1Mo 10:30-11:30AH VI (2356|051)×8Di 08:30-10:005056 (2356|056) | ||
| Foundations of Logic Programming | Foundations of Logic Programming | Vorlesung | 6 | ×1Do 10:30-12:00AH IV (2354|030)×1Do 13:30-18:00AH IV (2354|030)×9Do 16:30-18:00AH II (2350|111)×11Fr 14:30-16:00AH III (2350|314.1) |
| Foundations of Logic Programming | Übung | 0 | ×10Do 10:30-12:00AH IV (2354|030)×1Do 16:30-18:00AH II (2350|111) | |
| Introduction to Quantum Computing | Introduction to Quantum Computing | Übung | 0 | ×12Di 10:30-12:00TEMP2 (1515|002) |
| Introduction to Quantum Computing | Vorlesung | ×13Mo 16:30-18:00TEMP1 (1515|001)×13Fr 16:30-18:00Otto Fuchs-Hörsaal (H03) (1385|003) | ||
| Near-term Quantum Computation | Near-term Quantum Computation | Übung | 0 | ×11Do 16:30-18:00R 140 (1080|140) |
| Near-term Quantum Computation | Vorlesung | ×13Fr 10:30-12:00R 140 (1080|140) | ||
| Algorithmic Foundations of Datascience | Algorithmic Foundations of Data Science | Vorlesung | ×12Di 10:30-12:00AH II (2350|111)×10Fr 10:30-12:00AH II (2350|111) | |
| Algorithmic Foundations of Data Science | Übung | 0 | ×13Mi 14:30-16:00AH I (2350|028) | |
| Mathematische Heuristiken in der diskreten Optimierung | Mathematische Heuristiken in der diskreten Optimierung | Übung | 0 | ×11Do 08:30-10:005056 (2356|056) |
| Mathematische Heuristiken in der diskreten Optimierung | Vorlesung | ×1Di 10:30-14:00Großer B-IT Raum (2356|053.2)×11Di 10:30-12:00t.b.d.×11Do 10:30-12:00ST 8 (1665|008) | ||
| Theory of Distributed Systems | Theory of Distributed Systems | Übung | 0 | ×2Mi 16:30-18:00HKW 3 (1132|504)×11Do 10:30-12:00HKW 3 (1132|504) |
| Theory of Distributed Systems | Vorlesung | ×11Mo 08:30-10:00AH I (2350|028)×10Di 10:30-12:00AH I (2350|028) | ||
| Optimization and Uncertainty | Optimization and Uncertainty | Übung | 0 | ×13Gruppe 1Mi 10:30-12:00SG 512 (1810|512)×13Gruppe 2Mi 10:30-12:00SG 512 (1810|512)×13Gruppe 3Mi 10:30-12:00SG 512 (1810|512) |
| Optimization and Uncertainty | Vorlesung | ×13Mo 10:30-12:00AH I (2350|028)×14Di 08:30-10:00AH III (2350|314.1) |