59 of 59 courses
| Model Checking | Introduction to Model Checking | Vorlesung | 6 | ×1Di 10:00-11:30AH VI (2356|051)×10Mi 12:30-14:00AH III (2350|314.1)×1Do 09:00-11:30AH VI (2356|051)×12Do 10:30-12:00AH I (2350|028) |
| Introduction to Model Checking | Übung | 0 | ×11Fr 14:30-16:00AH III (2350|314.1) | |
| Erfüllbarkeitsüberprüfung | Erfüllbarkeitsüberprüfung | Vorlesung/Übung | ×1Mo 09:15-13:30Großer B-IT Raum (2356|053.2)×13Mi 08:30-10:00AH IV (2354|030)×13Do 10:30-12:00AH V (2356|050)×12Fr 12:30-13:155056 (2356|056) | |
| Algorithmic Foundations of Datascience | Algorithmic Foundations of Data Science | Vorlesung | ×11Di 16:30-18:00AH I (2350|028)×13Mi 08:30-10:00AH I (2350|028) | |
| Algorithmic Foundations of Data Science | Übung | 0 | ×15Do 12:30-14:00IPC Hörsaal (2400|U101) | |
| Infinite Computations and Games | Infinite Computations and Games | Vorlesung | 6 | ×13Mo 10:30-12:005056 (2356|056) |
| Infinite Computations and Games | Übung | 0 | ×1Di 14:00-15:00Seminarraum i7, Raum 4116 (2353|116)×12Do 10:30-12:005056 (2356|056)×1Do 14:15-15:45AH IV (2354|030) | |
| Komplexitätstheorie | Komplexitätstheorie | Vorlesung | 6 | ×12Mi 08:30-10:00AH III (2350|314.1)×9Do 16:30-18:00AH II (2350|111) |
| Übung zur Vorlesung Komplexitätstheorie | Übung | 0 | ×11Mi 14:30-16:00AH II (2350|111)×1Mi 14:30-16:00AH IV (2354|030) | |
| Concurrency Theory | Concurrency Theory | Vorlesung | 6 | ×9Di 14:30-16:00AH II (2350|111)×9Do 14:30-16:00AH II (2350|111) |
| Concurrency Theory | Übung | 0 | ×13Fr 08:30-10:00AH III (2350|314.1) | |
| The Graph Isomorphism Problem | The Graph Isomorphism Problem | Vorlesung | 6 | |
| The Graph Isomorphism Problem (Übung) | Übung | 0 | ||
| Analyse von Algorithmen | Analyse von Algorithmen | Vorlesung | 0 | ×14Mi 10:30-12:005055 (2356|055)×15Fr 10:30-12:00AH III (2350|314.1) |
| Probabilistic Programming | Probabilistische Programmierung | Vorlesung | 6 | ×11Mi 16:30-18:00AH III (2350|314.1)×9Do 08:30-10:00AH I (2350|028) |
| Probabilistische Programmierung | Übung | 0 | ×11Mo 10:30-12:00AH III (2350|314.1)×1Fr 14:30-16:00AH VI (2356|051) | |
| Post-quantum cryptography | Post-quantum cryptography | Vorlesung/Übung | ×14Di 16:30-18:00AH IV (2354|030)×14Mi 16:30-18:00AH I (2350|028)×12Fr 14:30-16:00AH I (2350|028) | |
| Machine Learning with Graphs: Foundations and Applications | Machine Learning with Graphs: Foundations and Applications | Vorlesung/Übung | ×15Mo 08:30-10:00H05 (1385|105)×14Mi 12:30-14:00IPC Hörsaal (2400|U101)×15Fr 12:30-14:00H05 (1385|105) | |
| Grundlagen der Computergraphik | Basic Techniques in Computer Graphics | Vorlesung | 6 | ×15Mo 16:30-18:00AH V (2356|050)×14Di 12:30-14:00AH V (2356|050) |
| Basic Techniques in Computer Graphics | Übung | 0 | ×15Di 14:30-16:00AH V (2356|050) | |
| Virtuelle Realität | Einführung in die Virtuelle Realität (VR I) | Vorlesung/Übung | 6 | ×12Di 10:30-12:00AH VI (2356|051)×14Do 12:30-14:00AH VI (2356|051) |
| iOS Application Development | iOS Application Development | Vorlesung | 6 | ×5Mo 12:30-14:00Extern×5Di 10:00-11:30Extern |
| Computer Vision 2 | Computer Vision 2 | Vorlesung/Übung | 6 | |
| Physikalisch-Basierte Animation | Physikalisch-Basierte Animation | Vorlesung/Übung | 6 | ×14Mi 10:30-12:005056 (2356|056)×15Fr 10:30-12:005056 (2356|056) |
| Designing Interactive Systems I | Designing Interactive Systems I | Vorlesung/Übung | 6 | ×13Di 08:30-10:00Großer B-IT Raum (2356|053.2)×12Mi 09:30-12:00Großer B-IT Raum (2356|053.2) |
| Designing Interactive Systems I (in Bonn) | Vorlesung/Übung | 6 | ×11Di 13:00-15:30Extern×12Di 15:45-17:15Extern | |
| Formale Methoden für Steuerungssoftware | Formale Methoden für Steuerungssoftware | Vorlesung/Übung | 6 | ×14Mo 10:30-12:003220|259×13Di 10:30-12:003220|259 |
| Mobile Radio Networks 1 | Mobile Radio Networks 1 | Vorlesung/Übung | ×12Mo 10:30-12:00Se 1 (3024|003.1)×13Mo 12:30-13:15Se 1 (3024|003.1) | |
| Communication Systems Engineering | Communication Systems Engineering | Vorlesung/Übung | 6 | ×12Mo 14:30-16:00AH VI (2356|051)×8Mi 10:30-12:00AH I (2350|028)×9Do 12:30-14:00AH I (2350|028) |
| Research Focus Class on Communication Systems | Research Focus Class on Medical Data Privacy | Vorlesung/Übung | 6 | |
| Industrial Network Security | Industrial Network Security (Vorlesung) | Vorlesung | ×10Di 10:30-12:00AH III (2350|314.1)×1Di 16:00-17:30B057 (3011|057)×11Fr 10:30-12:00AH II (2350|111) | |
| Industrial Network Security (Übung) | Übung | 0 | ×6Fr 12:30-14:00AH II (2350|111) | |
| Advanced Network Security | Advanced Network Security | Vorlesung/Übung | ×14Di 08:30-10:00AH V (2356|050)×13Mi 10:30-12:00H09 (1385|220) | |
| Der digitale Lebenszyklus von Fahrzeugen als Teil des Internet of Things (IoT) | Der digitale Lebenszyklus von Fahrzeugen als Teil des Internet of Things (IoT) | Vorlesung/Übung | 0 | ×13Di 12:30-14:005056 (2356|056) |
| Advanced Operating Systems | Advanced Operating Systems | Übung | 0 | ×12Do 10:30-12:00S14 (1385|214) |
| Advanced Operating Systems | Vorlesung | ×1Mo 10:30-12:00Knorr-Bremse-Hörsaal (H04) (1385|103)×10Mo 10:30-12:00S14 (1385|214)×10Di 14:30-16:00S15 (1385|215) | ||
| Algorithmische Lerntheorie | Algorithmische Lerntheorie | Vorlesung | ×12Di 08:30-10:00AH II (2350|111)×10Mi 10:30-12:00AH II (2350|111) | |
| Algorithmische Lerntheorie (Übung) | Übung | 0 | ×1Mi 10:30-11:30Seminarraum i7, Raum 4116 (2353|116)×1Do 14:30-16:00AH V (2356|050)×14Do 14:30-16:00AH VI (2356|051)×1Do 15:00-16:00AH VI (2356|051) | |
| Semantic Web | Semantic Web | Vorlesung/Übung | 4 | ×10Di 18:30-20:00Großer B-IT Raum (2356|053.2)×11Do 12:30-14:00Großer B-IT Raum (2356|053.2) |
| Künstliche Intelligenz | Introduction to Artificial Intelligence | Vorlesung/Übung | 6 | ×9Di 16:30-18:00TEMP2 (1515|002)×10Mi 16:30-18:00TEMP2 (1515|002)×10Do 14:30-16:00TEMP2 (1515|002) |
| The Logic of Knowledge Bases | The Logic of Knowledge Bases | Vorlesung/Übung | 0 | ×13Do 08:30-10:00Großer B-IT Raum (2356|053.2)×9Do 14:30-16:00Großer B-IT Raum (2356|053.2)×10Fr 08:30-10:00Großer B-IT Raum (2356|053.2) |
| Introduction to Bioinformatics | Einführung in die Bioinformatik | Vorlesung | 0 | ×13Mo 16:15-17:45Online-Veranstaltung |
| Introduction to Data Science | Introduction to Data Science - Vorlesung | Vorlesung | 6 | ×14Mo 08:30-10:00AH IV (2354|030)×12Mi 10:30-12:00AH V (2356|050) |
| Introduction to Data Science - Übung | Übung | ×12Do 16:30-18:00AH VI (2356|051) | ||
| Fundamentals of Business Process Management | Fundamentals of Business Process Management - Vorlesung | Vorlesung | ×8Fr 10:30-12:00H06 (1385|004) | |
| Fundamentals of Business Process Management - Übung | Übung | 0 | ×11Mo 12:30-14:005056 (2356|056) | |
| Machine Learning | Machine Learning | Vorlesung/Übung | 6 | ×15Mo 18:30-20:00H02 (1385|102)×14Di 16:30-18:00H02 (1385|102) |
| Machine Learning | Fach-/Modulprüfung | 6 | Di 24.03.2026 12:00-13:30AH V (2356|050), PPS H1 (2315|101), Eph (1090|321), AOC (2020|131), AH IV (2354|030), PPS H2 (2315|001), HKW 2 (1132|303) | |
| Stochastic Processes and Dynamical Systems | Stochastic Processes and Dynamical Systems | Vorlesung | ×15Mo 10:30-12:45423 (6074|423) | |
| Research Focus Class Industrial Applications for LLM-driven Agentic Systems | Research Focus Class Industrial Applications for LLM-driven Agentic Systems | Projekt | ×1Fr 10:00-11:30Großer B-IT Raum (2356|053.2) | |
| Web3 & Distributed Ledger Technology | Web3 & Distributed Ledger Technology | Vorlesung/Übung | ×14Mi 13:00-15:00Großer B-IT Raum (2356|053.2) | |
| Information Visualization | Information Visualization | Vorlesung | ×15Do 10:30-12:00Online-Veranstaltung | |
| Information Visualization | Fach-/Modulprüfung | 6 | Mi 25.02.2026 09:00-14:00 | |
| High-Performance Computing | Einführung in High-Performance Computing | Vorlesung/Übung | ×12Mo 12:30-14:00H05 (1385|105)×1Di 08:15-10:30ZuseLab C4 (2315|201)×11Di 12:30-14:00H05 (1385|105)×1Mi 14:00-17:00ZuseLab C3 (2315|211) | |
| Introduction to Algorithmic Differentiation | Einführung in Algorithmisches Differenzieren | Vorlesung/Übung | 6 | ×13Di 10:30-12:00AH IV (2354|030)×15Mi 10:30-12:00AH IV (2354|030) |
| High-performance Matrix Computations | High-Performance Matrix Computations | Vorlesung/Übung | ||
| Angewandte Softwaretechnik im Lebenszyklus der Automobilelektronik | Der digitale Lebenszyklus von Fahrzeugen als Teil des Internet of Things (IoT) | Vorlesung/Übung | 0 | ×13Di 12:30-14:005056 (2356|056) |
| Modellbasierte Softwareentwicklung | Modellbasierte Softwareentwicklung | Vorlesung/Übung | 0 | ×10Di 10:30-12:00AH I (2350|028)×8Mi 10:30-12:00AH III (2350|314.1)×7Do 12:30-14:00AH II (2350|111) |
| Model-based Systems Engineering | Model-based Systems Engineering | Vorlesung/Übung | ×1Di 09:30-11:00AH VI (2356|051)×9Di 10:30-12:00AH I (2350|028)×1Di 13:00-14:30AH VI (2356|051)×8Mi 10:30-12:00AH III (2350|314.1)×7Do 12:30-14:00AH II (2350|111) |