73 of 73 courses
| Model Checking | Introduction to Model Checking | Vorlesung | 6 | ×15Mi 14:30-16:00AH I (2350|028)×15Do 16:30-18:00AH I (2350|028) |
| Introduction to Model Checking | Übung | 0 | ×15Fr 12:30-14:00AH I (2350|028) | |
| Erfüllbarkeitsüberprüfung | Erfüllbarkeitsüberprüfung | Vorlesung/Übung | ×15Mo 10:30-12:00AH V (2356|050)×15Mi 14:30-16:00AH V (2356|050)×15Fr 14:30-15:155056 (2356|056) | |
| Algorithmic Foundations of Datascience | Algorithmic Foundations of Data Science | Vorlesung | ×15Di 16:30-18:00AH I (2350|028)×15Do 14:30-16:00AH I (2350|028) | |
| Algorithmic Foundations of Data Science | Übung | 0 | ×15Mi 12:30-14:00AH I (2350|028) | |
| Infinite Computations and Games | Infinite Computations and Games | Vorlesung | 6 | ×15Mo 10:30-12:005056 (2356|056)×15Mi 10:30-12:005056 (2356|056) |
| Infinite Computations and Games | Übung | 0 | ×15Do 12:30-14:005054 (2356|054) | |
| Semantik und Verifikation von Software | Semantik und Verifikation von Software | Vorlesung | 6 | ×14Mi 10:30-12:00AH I (2350|028)×14Do 14:30-16:00AH II (2350|111) |
| Semantik und Verifikation von Software | Übung | 0 | ×15Fr 14:30-16:00AH I (2350|028) | |
| Graphzerlegungen und algorithmische Anwendungen | Graph Decompositions and Algorithmic Applications | Vorlesung | 6 | ×14Di 12:30-14:00AH II (2350|111)×15Fr 14:30-16:00AH III (2350|314.1) |
| Graph Decompositions and Algorithmic Applications (Übung) | Übung | 0 | ×15Mo 14:30-16:005056 (2356|056) | |
| Parametrisierte Algorithmen | Parametrisierte Algorithmen | Vorlesung | ×14Di 12:30-14:005056 (2356|056)×15Do 12:30-14:005056 (2356|056) | |
| Parametrisierte Algorithmen | Übung | 0 | ×15Mi 14:30-16:005055 (2356|055) | |
| Probabilistic Programming | Probabilistische Programmierung | Vorlesung | 6 | ×15Mo 16:30-18:00AH II (2350|111)×15Do 12:30-14:00AH III (2350|314.1) |
| Probabilistische Programmierung | Übung | 0 | ×14Di 10:30-12:00AH I (2350|028) | |
| Dynamical Processes on Networks | Dynamical Processes on Networks | Fach-/Modulprüfung | 6 | Fr 12.02.2027 14:30-16:00Eph (1090|321)Do 11.03.2027 12:00-13:30PPS H2 (2315|001) |
| Dynamical Processes On Networks (Übungen) | Übung | 0 | ×15Do 10:30-12:00OC Hörsaal (2030|015) | |
| Dynamical Processes on Networks | Vorlesung | ×14Mo 12:30-14:00AH VI (2356|051)×13Di 16:30-18:00AH VI (2356|051) | ||
| Cryptography | Cryptography | Fach-/Modulprüfung | 6 | Di 16.02.2027 14:00-15:30ZuseLab C1 (2315|107), ZuseLab C3 (2315|211), ZuseLab C4 (2315|201)Di 23.03.2027 09:00-10:30ZuseLab C1 (2315|107), ZuseLab C3 (2315|211) |
| Cryptography | Vorlesung/Übung | ×15Mi 14:30-16:00AH III (2350|314.1)×15Do 10:30-12:00AH III (2350|314.1)×15Fr 14:30-16:00H06 (1385|004) | ||
| Advanced Topics in Logic | Advanced Topics in Logic | Übung | 0 | ×15Mi 16:30-18:00AH III (2350|314.1) |
| Advanced Topics in Logic | Vorlesung | ×15Mo 10:30-12:00AH II (2350|111)×15Do 16:30-18:00AH II (2350|111) | ||
| Foundations of Learning on Graphs | Foundations of Learning on Graphs | Fach-/Modulprüfung | 6 | Mi 03.03.2027 09:00-11:00HKW 1 (1132|203)Do 01.04.2027 09:00-11:00AH VI (2356|051) |
| Foundations of Learning on Graphs | Vorlesung/Übung | ×15Mo 10:30-12:00MS (1220|009)×15Mi 08:30-10:00AH I (2350|028) | ||
| Grundlagen der Computergraphik | Basic Techniques in Computer Graphics | Vorlesung | 6 | ×15Di 14:30-16:00AH V (2356|050)×15Do 10:30-12:00AH V (2356|050) |
| Basic Techniques in Computer Graphics | Übung | 0 | ×15Do 16:30-18:00AH III (2350|314.1) | |
| Basic Techniques in Computer Graphics | Fach-/Modulprüfung | 6 | Do 11.02.2027 17:30-19:30TEMP2 (1515|002), PPS H1 (2315|101), Eph (1090|321)Di 09.03.2027 18:00-20:00Otto Fuchs-Hörsaal (H03) (1385|003), Grüner Hörsaal AM (Gr) (1420|001) | |
| Virtuelle Realität | Einführung in die Virtuelle Realität (VR I) | Vorlesung/Übung | 6 | ×14Mo 16:30-18:00AH VI (2356|051)×14Di 14:30-16:00AH VI (2356|051) |
| Virtuelle Realität I | Fach-/Modulprüfung | 6 | Mi 17.02.2027 12:00-13:30TEMP2 (1515|002), TEMP1 (1515|001)Mo 22.03.2027 12:00-13:30TEMP2 (1515|002), TEMP1 (1515|001) | |
| iOS Application Development | iOS Application Development | Vorlesung | 6 | ×10Mo 12:30-14:00Extern×14Di 10:00-11:30Extern |
| iOS Application Development | Fach-/Modulprüfung | 6 | Mi 10.02.2027 12:00-13:00H09 (1385|220), B201 (3011|201)Fr 12.03.2027 12:00-13:00B037 (3011|037) | |
| Computer Vision 2 | Computer Vision 2 | Vorlesung/Übung | 6 | ×15Mo 10:30-12:00AH IV (2354|030)×15Di 18:30-20:00Roter Hörsaal AM (Ro) (1420|002) |
| Physikalisch-Basierte Animation | Physikalisch-Basierte Animation | Vorlesung/Übung | 6 | ×15Do 10:30-12:00AH VI (2356|051)×15Fr 10:30-12:005056 (2356|056) |
| Designing Interactive Systems I | Designing Interactive Systems I | Vorlesung/Übung | 6 | ×15Di 08:30-10:00Großer B-IT Raum (2356|053.2)×15Mi 09:30-12:00Großer B-IT Raum (2356|053.2) |
| Designing Interactive Systems I (in Bonn) | Vorlesung/Übung | 6 | ×12Di 13:00-15:30Extern×13Di 15:45-17:15Extern | |
| Designing Interactive Systems | Fach-/Modulprüfung | 6 | Di 09.02.2027 14:30-15:30B201 (3011|201), BS II (2131|102), H05 (1385|105), BS I (2131|101)Fr 12.03.2027 14:30-15:30Eph (1090|321) | |
| Formale Methoden für Steuerungssoftware | Formale Methoden für Steuerungssoftware | Vorlesung/Übung | 6 | ×13Di 10:30-12:003220|259×13Do 10:30-12:003220|259 |
| Formale Methoden für Steuerungssoftware (WS) | Fach-/Modulprüfung | 6 | Do 25.02.2027 11:00-13:00Do 25.03.2027 11:00-13:00 | |
| Communication Systems Engineering | Communication Systems Engineering | Vorlesung/Übung | 6 | ×12Mo 10:30-12:00AH III (2350|314.1)×14Do 10:30-12:00AH I (2350|028)×13Fr 10:30-12:00AH I (2350|028) |
| Research Focus Class on Communication Systems | Research Focus Class on Safer Grid | Vorlesung/Übung | 6 | |
| Industrial Network Security | Industrial Network Security (Vorlesung) | Vorlesung | ×14Di 10:30-12:00AH II (2350|111)×15Fr 12:30-14:00AH II (2350|111) | |
| Industrial Network Security (Übung) | Übung | 0 | ×8Mi 10:30-12:00AH II (2350|111) | |
| Advanced Network Security | Advanced Network Security | Vorlesung/Übung | ×14Di 12:30-14:00EA (1270|109)×15Do 08:30-10:00EA (1270|109) | |
| Advanced Operating Systems | Advanced Operating Systems | Übung | 0 | ×15Mi 08:30-10:00S13 (1385|213) |
| Advanced Operating Systems | Vorlesung | ×15Mo 14:30-16:00S10 (1385|210)×15Do 08:30-10:00S11 (1385|211) | ||
| Diagnosestandards im digitalen Fahrzeuglebenszyklus | Diagnosestandards im digitalen Fahrzeuglebenszyklus | Vorlesung/Übung | 0 | ×15Do 10:30-12:005056 (2356|056) |
| Diagnosestandards im digitalen Fahrzeuglebenszyklus | Fach-/Modulprüfung | 6 | Do 25.02.2027 12:00-13:30AH V (2356|050)Do 25.03.2027 09:00-10:30H07 (1385|104) | |
| Wireless Communications | Mobile Radio Networks 1 | Vorlesung/Übung | ×15Do 10:30-12:00B037 (3011|037)×15Do 12:30-13:15B037 (3011|037) | |
| Real-Time Operating Systems - Design and Implementation | Real-Time Operating Systems - Design and Implementation | Übung | 0 | ×14Mi 14:30-16:00t.b.d. |
| Real-Time Operating Systems - Design and Implementation | Vorlesung | ×14Mi 12:30-14:00t.b.d. | ||
| Künstliche Intelligenz | Introduction to Artificial Intelligence | Vorlesung/Übung | 6 | ×15Di 16:30-18:00Grüner Hörsaal AM (Gr) (1420|001)×15Mi 14:30-16:00Eph (1090|321)×13Do 16:30-18:00AH IV (2354|030) |
| Introduction to Artificial Intelligence | Fach-/Modulprüfung | 6 | Fr 19.02.2027 17:30-19:30H02 (1385|102), H01 (1385|101), TEMP2 (1515|002), Großer Hörsaal AM (1420|210), Otto Fuchs-Hörsaal (H03) (1385|003)Do 18.03.2027 09:00-11:00H02 (1385|102), H01 (1385|101), Großer Hörsaal AM (1420|210) | |
| Introduction to Bioinformatics | Einführung in die Bioinformatik | Vorlesung | 0 | ×14Mo 16:15-17:45Online-Veranstaltung |
| Introduction to Data Science | Introduction to Data Science - Vorlesung | Vorlesung | 6 | ×15Mo 14:30-16:00AH II (2350|111)×15Mi 08:30-10:00AH V (2356|050) |
| Introduction to Data Science - Übung | Übung | ×15Fr 10:30-12:00AH III (2350|314.1) | ||
| Fundamentals of Business Process Management | Fundamentals of Business Process Management - Vorlesung | Vorlesung | ×15Di 14:30-16:00II (1010|201) | |
| Fundamentals of Business Process Management - Übung | Übung | 0 | ×15Mi 14:30-16:005056 (2356|056) | |
| Machine Learning | Machine Learning | Vorlesung/Übung | 6 | ×15Mo 16:30-18:00H02 (1385|102)×14Di 10:30-12:00H02 (1385|102) |
| 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 | ||
| Information Visualization | Information Visualization | Vorlesung | ×15Do 10:30-12:00Online-Veranstaltung | |
| Knowledge Graphs | Knowledge Graphs | Vorlesung/Übung | 4 | ×11Di 10:30-12:00Großer B-IT Raum (2356|053.2)×14Fr 14:30-16:00Großer B-IT Raum (2356|053.2) |
| Knowledge Graphs | Fach-/Modulprüfung | 4 | Fr 12.02.2027 09:00-11:00ZuseLab C4 (2315|201) | |
| High-Performance Computing | Einführung in High-Performance Computing | Vorlesung/Übung | ×15Mo 12:30-14:00AH V (2356|050)×14Di 14:30-16:00AH IV (2354|030) | |
| Introduction to Algorithmic Differentiation | Einführung in Computational Differentiation | Fach-/Modulprüfung | 6 | Fr 26.02.2027 14:30-16:30TEMP1 (1515|001), Großer Hörsaal AM (1420|210)Do 25.03.2027 16:30-18:30Großer Hörsaal AM (1420|210) |
| Einführung in Algorithmisches Differenzieren | Vorlesung/Übung | 6 | ×15Mo 14:30-16:00AH III (2350|314.1)×15Mi 12:30-14:00AH III (2350|314.1)×15Do 08:30-10:00MetP11 (2181|102) | |
| Angewandte Softwaretechnik im Lebenszyklus der Automobilelektronik | Diagnosestandards im digitalen Fahrzeuglebenszyklus | Vorlesung/Übung | 0 | ×15Do 10:30-12:005056 (2356|056) |
| Modellbasierte Softwareentwicklung | Modellbasierte Softwareentwicklung | Vorlesung/Übung | 0 | ×14Di 10:30-12:00AH VI (2356|051)×15Mi 12:30-14:00AH V (2356|050)×15Do 10:30-12:00AH II (2350|111) |
| Modellbasierte Softwareentwicklung | Fach-/Modulprüfung | 6 | Mi 10.02.2027 09:00-11:00PPS H2 (2315|001), AH V (2356|050), PPS H1 (2315|101), MetP11 (2181|102), BS II (2131|102), BS 218 (2130|218), AH VI (2356|051), Aula 2 (2352|021), IPC Hörsaal (2400|U101), BS I (2131|101)Di 09.03.2027 14:00-16:00PPS H2 (2315|001), PPS H1 (2315|101), BS II (2131|102), Aula 2 (2352|021), BS I (2131|101) | |
| Model-based Systems Engineering | Model-based Systems Engineering | Vorlesung/Übung | ×14Di 10:30-12:00AH VI (2356|051)×15Mi 12:30-14:00AH V (2356|050)×15Do 10:30-12:00AH II (2350|111) | |
| Model-based Systems Engineering | Fach-/Modulprüfung | 6 | Mi 10.02.2027 09:00-11:00PPS H2 (2315|001), AH V (2356|050), PPS H1 (2315|101), MetP11 (2181|102), BS II (2131|102), BS 218 (2130|218), AH VI (2356|051), Aula 2 (2352|021), IPC Hörsaal (2400|U101), BS I (2131|101)Di 09.03.2027 14:00-16:00PPS H2 (2315|001), PPS H1 (2315|101), BS II (2131|102), Aula 2 (2352|021), BS I (2131|101) | |
| Software Architecture | Software Architecture | Übung | 0 | ×14Do 14:30-16:00III (1010|107)×1Do 14:30-16:00TEMP1 (1515|001) |
| Software Architecture | Vorlesung | ×14Di 12:30-14:00AH VI (2356|051)×15Mi 14:30-16:00AH VI (2356|051) |