154 of 154 courses
| Erfüllbarkeitsüberprüfung | Erfüllbarkeitsüberprüfung | Vorlesung/Übung | ×13Mo 08:30-10:00AH III (2350|314.1)×12Di 10:30-11:15AH VI (2356|051)×13Fr 08:30-10:00AH II (2350|111) | |
| Formale Methoden für Steuerungssoftware | Formale Methoden für Steuerungssoftware | Vorlesung/Übung | 6 | ×14Di 14:30-16:00AH III (2350|314.1)×13Fr 10:30-12:00AH III (2350|314.1) |
| Formale Grundlagen von UML | Theoretical Foundations of the UML (FUML) | Vorlesung | 6 | ×9Di 10:30-12:00AH III (2350|314.1)×13Do 10:30-12:00AH I (2350|028) |
| Theoretical Foundations of the UML (FUML) | Übung | 0 | ×9Do 08:30-10:00AH I (2350|028) | |
| Infinite Computations and Games | Infinite Computations and Games | Vorlesung | 6 | ×13Mo 10:30-12:005056 (2356|056)×1Do 14:00-15:00AH II (2350|111)×1Fr 11:00-12:00AH II (2350|111) |
| Infinite Computations and Games | Übung | 0 | ×12Mi 14:30-16:005052 (2356|052) | |
| Komplexitätstheorie | Komplexitätstheorie | Vorlesung | 6 | ×15Do 12:30-14:00AH VI (2356|051)×1Fr 12:30-14:00AH I (2350|028) |
| Übung zur Vorlesung Komplexitätstheorie | Übung | 0 | ×13Fr 12:30-14:00AH I (2350|028) | |
| Concurrency Theory | Concurrency Theory | Vorlesung | 6 | ×8Di 14:30-16:00AH II (2350|111)×9Do 14:30-16:00AH II (2350|111) |
| Concurrency Theory | Übung | 0 | ×8Mo 14:30-16:00AH I (2350|028)×2Do 14:30-16:00AH I (2350|028) | |
| Modeling and Verification of Probabilistic Systems | Modellierung und Verifikation probabilistischer Systeme | Vorlesung | 6 | ×10Mo 12:30-14:00AH I (2350|028)×11Do 12:30-14:00AH II (2350|111) |
| Modellierung und Verifikation probabilistischer Systeme | Übung | 0 | ×1Do 12:30-14:00AH II (2350|111)×12Do 16:30-18:00AH I (2350|028) | |
| Mathematische Logik II | Mathematische Logik II | Vorlesung | 0 | ×12Mo 10:30-12:00IV (1010|141)×13Di 12:30-14:00AH I (2350|028) |
| Mathematische Logik II | Übung | 0 | ×11Di 14:15-15:45AH I (2350|028)×1Di 14:30-16:00AH I (2350|028)×1Mi 08:30-12:00AH II (2350|111)×1Do 10:30-12:30AH II (2350|111) | |
| Algorithmische Lerntheorie | Algorithmische Lerntheorie | Vorlesung | ×10Mo 12:30-14:00AH III (2350|314.1)×10Di 08:30-10:00AH III (2350|314.1) | |
| Algorithmische Lerntheorie (Übung) | Übung | 0 | ×1Do 08:00-09:00AH II (2350|111)×1Fr 10:00-11:00AH II (2350|111)×1Fr 14:30-16:005052 (2356|052)×8Fr 14:30-16:005056 (2356|056)×1Fr 14:30-16:00Seminarraum i7, Raum 4116 (2353|116) | |
| Introduction to Algorithmic Differentiation | Einführung in Algorithmisches Differenzieren | Vorlesung/Übung | 6 | ×14Mo 10:30-12:00AH III (2350|314.1)×14Mi 10:30-12:00AH III (2350|314.1) |
| Post-quantum cryptography | Post-quantum cryptography | Vorlesung/Übung | ×13Mo 16:30-18:00AH V (2356|050)×8Mi 16:30-18:00AH I (2350|028)×9Do 16:30-18:00AH III (2350|314.1) | |
| Mobile Radio Networks 1 | Mobile Radio Networks 1 | Vorlesung/Übung | ×13Fr 10:30-12:00B037 (3011|037)×13Fr 12:15-13:00B037 (3011|037) | |
| Communication Systems Engineering | Communication Systems Engineering | Vorlesung/Übung | 6 | ×10Mo 14:30-16:00AH VI (2356|051)×12Mi 10:30-12:00AH VI (2356|051)×8Fr 14:30-16:00AH III (2350|314.1) |
| IT-Sicherheit 1 - Kryptographische Grundlagen und Netzwerksicherheit | IT-Sicherheit 1 - Netzwerksicherheit | Vorlesung/Übung | 6 | ×1Di 12:30-15:30UMIC_025 (2165|025)×14Mi 08:30-10:00H05 (1385|105)×1Do 12:45-15:30UMIC_025 (2165|025)×15Fr 08:30-10:00Knorr-Bremse-Hörsaal (H04) (1385|103) |
| Research Focus Class on Communication Systems | Research Focus Class on Communication Systems | Vorlesung/Übung | 6 | |
| Industrial Network Security | Industrial Network Security (Vorlesung) | Vorlesung | ×10Di 10:30-12:00AH I (2350|028)×1Di 16:00-17:005056 (2356|056)×1Do 14:30-16:005055 (2356|055)×12Fr 10:30-12:00AH II (2350|111) | |
| Industrial Network Security (Übung) | Übung | 0 | ×6Mi 10:30-12:00AH I (2350|028) | |
| Implementation of Databases | Implementation of Databases | Vorlesung/Übung | 6 | ×12Mo 08:30-10:00AH VI (2356|051)×2Mo 08:30-10:00BS I (2131|101)×15Fr 08:30-10:00AH I (2350|028) |
| Semantic Web | Semantic Web | Vorlesung/Übung | 4 | ×11Di 10:30-12:00Großer B-IT Raum (2356|053.2)×10Fr 10:30-12:00Großer B-IT Raum (2356|053.2) |
| Künstliche Intelligenz | Introduction to Artificial Intelligence | Vorlesung/Übung | 6 | ×11Mi 08:30-10:00AH V (2356|050)×10Do 10:30-12:00AH V (2356|050)×10Fr 08:30-10:00AH V (2356|050) |
| eBusiness - Anwendungen, Architekturen und Standards | eBusiness - Digitalization of Business Processes and Electronic Businesses | Vorlesung/Übung | 4 | ×12Di 10:00-13:00Extern |
| 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 | ×13Mo 14:30-16:00AH V (2356|050)×14Di 14:30-16:00AH IV (2354|030) |
| Introduction to Data Science - Übung | Übung | ×1Di 12:00-15:00AH IV (2354|030)×13Di 12:30-14:00AH IV (2354|030) | ||
| Distributed Ledger Technology | Distributed Ledger Technology | Vorlesung/Übung | ×12Mi 12:30-15:00Extern | |
| Fundamentals of Business Process Management | Fundamentals of Business Process Management - Vorlesung | Vorlesung | ×14Mi 12:30-14:00Knorr-Bremse-Hörsaal (H04) (1385|103) | |
| Fundamentals of Business Process Management - Übung | Übung | 0 | ×13Mo 16:30-18:005056 (2356|056)×1Mi 14:30-16:00S11 (1385|211) | |
| Social and Technological Change | Social and Technological Change | Vorlesung/Übung | ×11Di 14:30-16:00001 (1830|001)×1Do 16:30-18:00R 220 (1080|220)×11Do 16:30-18:00TD (1300|408) | |
| Linux Kernel Programming | Linux Kernel Programming | Vorlesung | ×8Di 08:30-10:00Fakultätssitzungssaal Informatik (2359|222) | |
| Linux Kernel Programming | Übung | 0 | ×1Mo 16:30-18:005054 (2356|054)×1Mo 16:30-18:00Dekanatssitzungszimmer (2359|220)×12Mo 16:30-18:00Fakultätssitzungssaal Informatik (2359|222)×2Do 16:30-18:005055 (2356|055)×11Do 16:30-18:00Fakultätssitzungssaal Informatik (2359|222) | |
| Grundlagen der Computergraphik | Basic Techniques in Computer Graphics | Vorlesung | 6 | ×13Di 12:30-14:00AH V (2356|050)×14Do 12:30-14:00AH V (2356|050) |
| Basic Techniques in Computer Graphics (in Bonn) | Vorlesung | ×13Mo 13:00-15:15t.b.d. | ||
| Basic Techniques in Computer Graphics | Übung | 0 | ×13Mi 16:30-18:00AH V (2356|050) | |
| Basic Techniques in Computer Graphics (in Bonn) | Übung | 0 | ×13Mo 15:45-17:15t.b.d. | |
| Automatische Spracherkennung | Automatic Speech Recognition | Vorlesung | 0 | ×14Mi 08:30-10:00I (1010|101)×13Do 10:30-12:00HKW 2 (1132|303)×1Fr 12:30-14:00HKW 1 (1132|203) |
| Automatic Speech Recognition | Übung | 0 | ×1Do 10:30-12:00HKW 2 (1132|303)×12Fr 12:30-14:00HKW 1 (1132|203) | |
| High-Performance Computing | Einführung in High-Performance Computing | Vorlesung/Übung | ×1Mo 09:00-12:00ZuseLab C3 (2315|211)×8Mo 12:30-14:00AH VI (2356|051)×12Di 10:30-12:00PPS H1 (2315|101) | |
| Virtuelle Realität | Einführung in die Virtuelle Realität (VR I) | Vorlesung/Übung | 6 | ×14Mo 10:30-12:00AH VI (2356|051)×14Do 10:30-12:00AH VI (2356|051) |
| iOS Application Development | iOS Application Development | Vorlesung | 6 | ×14Mo 12:30-14:00Seminarraum Informatik 10 (2350|222)×1Di 09:00-17:00AH III (2350|314.1)×14Di 10:30-12:00Seminarraum Informatik 10 (2350|222) |
| Machine Learning | Machine Learning | Vorlesung/Übung | 6 | ×13Mo 18:30-20:00H02 (1385|102)×14Mi 16:30-18:00H02 (1385|102) |
| Physikalisch-Basierte Animation | Physikalisch-Basierte Animation | Vorlesung/Übung | 6 | ×14Mi 10:30-12:005056 (2356|056)×15Do 10:30-12:005056 (2356|056) |
| Introduction to Algorithmic Differentiation | Einführung in Algorithmisches Differenzieren | Vorlesung/Übung | 6 | ×14Mo 10:30-12:00AH III (2350|314.1)×14Mi 10:30-12:00AH III (2350|314.1) |
| Stochastic Processes and Dynamical Systems | Stochastic Processes and Dynamical Systems | Vorlesung | ×12Mo 16:00-18:30t.b.d. | |
| Angewandte Softwaretechnik im Lebenszyklus der Automobilelektronik | Der digitale Lebenszyklus von Fahrzeugen als Teil des Internet of Things (IoT) | Vorlesung/Übung | 0 | ×8Mi 08:30-10:005056 (2356|056) |
| Software-Qualitätssicherung | Software-Qualitätssicherung | Vorlesung | 6 | ×1Mi 13:00-14:005055 (2356|055)×1Mi 13:15-14:005054 (2356|054)×14Do 12:30-14:00AH I (2350|028)×14Fr 10:30-12:00AH I (2350|028) |
| Software-Qualitätssicherung | Übung | 0 | ×13Mo 10:30-12:00AH I (2350|028) | |
| 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 | ×8Mi 08:30-10:005056 (2356|056) |
| Information Management | Implementation of Databases | Vorlesung/Übung | 6 | ×12Mo 08:30-10:00AH VI (2356|051)×2Mo 08:30-10:00BS I (2131|101)×15Fr 08:30-10:00AH I (2350|028) |
| Software-Architekturen | Software-Architekturen | Vorlesung | 6 | ×1Mo 09:30-11:305052 (2356|052)×1Mo 09:30-11:30AH VI (2356|051)×2Di 09:30-11:305052 (2356|052)×1Di 09:30-11:30AH VI (2356|051)×2Mi 09:30-11:305052 (2356|052)×1Do 09:30-11:305052 (2356|052)×1Fr 09:30-11:305052 (2356|052) |
| Designing Interactive Systems I | Designing Interactive Systems I | Vorlesung/Übung | 6 | ×13Di 08:30-10:00Großer B-IT Raum (2356|053.2)×14Mi 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 | |
| Modellbasierte Softwareentwicklung | Modellbasierte Softwareentwicklung | Vorlesung/Übung | 0 | ×15Di 10:15-11:45AH II (2350|111)×1Di 10:30-12:00AH II (2350|111)×13Mi 14:30-16:00IPC Hörsaal (2400|U101)×1Do 12:15-13:451401|306×2Do 12:15-13:45EA (1270|109)×12Do 12:15-13:45IPC Hörsaal (2400|U101) |
| Formale Methoden für Steuerungssoftware | Formale Methoden für Steuerungssoftware | Vorlesung/Übung | 6 | ×14Di 14:30-16:00AH III (2350|314.1)×13Fr 10:30-12:00AH III (2350|314.1) |
| Model-based Systems Engineering | Model-based Systems Engineering | Vorlesung/Übung | ×11Di 10:15-11:45AH II (2350|111)×1Di 10:30-12:00AH II (2350|111)×14Mi 14:30-16:00IPC Hörsaal (2400|U101)×2Do 12:15-13:45EA (1270|109)×13Do 12:15-13:45IPC Hörsaal (2400|U101) | |
| Praktikum | Lab Course Centralized Goal Reasoning for Logistics Robots | Praktikum | 7 | |
| Advanced Web Technologies: Integration of Adaptive Learning (AI) and JupyterLab into an LMS | Praktikum | |||
| Digitalisierung der Produktion | Praktikum | |||
| Software-Projektpraktikum Parallel Graph Algorithms | Praktikum | |||
| Praktikum automatische Spracherkennung | Praktikum | 7 | ×8Do 12:30-14:00t.b.d. | |
| The Media Computing Project (Praktikum Hauptstudium) | Praktikum | 7 | ×26Mi 14:30-16:00Seminarraum Informatik 10 (2350|222) | |
| Lab Course Centralized Goal Reasoning for Logistics Robots | Praktikum | 7 | ||
| Datenvisualisierung und -analyse | Praktikum | 7 | ×13Fr 10:00-14:30Extern | |
| Projektmodul: OR-Praktikum | Projekt | 7 | ×1MSBWLDi 13:00-18:00C102 (3010|102)×1MSBWLDi 14:00-16:00B201 (3011|201)×1MSBWLDi 15:00-18:00B201 (3011|201)×12MSBWLMi 10:00-14:00B044 (3011|044)×1MSBWLFr 12:00-15:00C102 (3010|102)×1MSMath/MSInfDi 13:00-18:00C102 (3010|102)×1MSMath/MSInfDi 14:00-16:00B201 (3011|201)×1MSMath/MSInfDi 15:00-18:00B201 (3011|201)×12MSMath/MSInfMi 10:00-14:00B044 (3011|044)×1MSMath/MSInfFr 12:00-15:00C102 (3010|102)×1MSWiIngDi 13:00-18:00C102 (3010|102)×1MSWiIngDi 14:00-16:00B201 (3011|201)×1MSWiIngDi 15:00-18:00B201 (3011|201)×12MSWiIngMi 10:00-14:00B044 (3011|044)×1MSWiIngFr 12:00-15:00C102 (3010|102)×1MSWiWiDi 13:00-18:00C102 (3010|102)×1MSWiWiDi 14:00-16:00B201 (3011|201)×1MSWiWiDi 15:00-18:00B201 (3011|201)×12MSWiWiMi 10:00-14:00B044 (3011|044)×1MSWiWiFr 12:00-15:00C102 (3010|102) | |
| Flüssigkeitssimulation in der Computergraphik | Praktikum | 7 | ×14Fr 14:30-16:005052 (2356|052)×1Fr 14:30-16:00S05 (1385|205) | |
| Hands on application development for mobile and web based 3D content creation using C# and Unity | Praktikum | 7 | ||
| Model-Driven Engineering of Industry 4.0 Production Systems | Praktikum | 7 | ||
| Modeling Language Engineering with MontiCore | Praktikum | 7 | ||
| Modellgetriebene Testfallgenerierung zur Fehlererkennung basierend auf der SPES-Methodik und MontiCore | Praktikum | 7 | ||
| Process Discovery Using Python | Praktikum | 7 | ||
| Process Conformance Checking in Python | Praktikum | 7 | ||
| Automatisierung einer Destillationsanlage | Praktikum | 7 | ×1InformatikerMo 10:00-11:00Raum 2202 (2350|202)×1IngenieureMo 10:00-11:00Raum 2202 (2350|202)×1StandardgruppeMo 10:00-11:00Raum 2202 (2350|202) | |
| Algorithmic Battle | Praktikum | 7 | ×1Mo 12:30-14:005054 (2356|054)×14Mo 12:30-14:00Seminarraum i1, Raum 4017 (2353|017) | |
| Mixed Reality Lab | Praktikum | 7 | ×7Mo 10:30-12:00Großer B-IT Raum (2356|053.2) | |
| Advanced Web Technologies: Integration of Adaptive Learning (AI) and JupyterLab into an LMS | Praktikum | 7 | ||
| Digitalisierung der Produktion | Praktikum | 7 | ||
| Software-Projektpraktikum Parallel Graph Algorithms | Praktikum | 7 | ||
| Interactive Visualisation of Graph Algorithms | Praktikum | 7 | ×2Di 14:00-15:30Seminarraum i7, Raum 4116 (2353|116)×1Do 10:30-12:00Seminarraum i7, Raum 4116 (2353|116) | |
| Graph Learning | Praktikum | 7 | ×6Mo 14:30-16:00Seminarraum i7, Raum 4116 (2353|116) | |
| Knowledge Graph Lab | Praktikum | 7 | ||
| Game Developing Lab | Praktikum | 7 | ×1Di 10:15-12:15Dekanatssitzungszimmer (2359|220)×3Di 10:30-12:00Dekanatssitzungszimmer (2359|220)×7Di 10:30-12:00Fakultätssitzungssaal Informatik (2359|222) | |
| Tools for Jupyter Notebook Mining | Praktikum | 7 | ×11Di 14:15-15:00t.b.d. | |
| Network Analytics | Praktikum | 7 | ×8Mi 10:30-12:005052 (2356|052) | |
| Data Ecosystems Lab | Praktikum | 7 | ×8Di 16:00-17:30i5 Seminarraum (2356|202)×1Mi 10:00-11:30i5 Seminarraum (2356|202) | |
| 3D Wind Farm App | Praktikum | 7 | ||
| Visualization of real-world bed management in hospitals | Praktikum | 7 | ×1Di 10:15-12:15Fakultätssitzungssaal Informatik (2359|222)×1Mi 08:30-10:00Seminarraum i7, Raum 4116 (2353|116)×1Mi 10:30-12:00Fakultätsseminarraum (2359|U112)×1Do 08:30-10:00Seminarraum i7, Raum 4116 (2353|116)×12Do 16:30-18:00Seminarraum i7, Raum 4116 (2353|116) | |
| Process Mining in Celonis | Praktikum | 7 | ||
| Model-getriebenes Systems-Engineering mit MontiCore und SPES-Methodik | Praktikum | 7 | ||
| Simulation and Optimization of Wind Farms | Praktikum | 7 | ||
| Practical Internet eXperience (PIX) Lab | Praktikum | 7 | ||
| Understanding disease trajectories using graph representation of single-cell data and mathematical modelling | Praktikum | 7 | ||
| Seminar Informatik | Full-scale Software Engineering-M | Seminar | 4 | ×1Mo 13:00-13:455055 (2356|055) |
| Seminar Theoretical Topics in Data Science | Seminar | 4 | ×1Mo 09:00-15:00Seminarraum i7, Raum 4116 (2353|116)×1Di 09:00-15:00Seminarraum i7, Raum 4116 (2353|116)×1Mi 09:00-14:00Seminarraum i7, Raum 4116 (2353|116)×1Do 15:00-16:30Seminarraum i7, Raum 4116 (2353|116) | |
| Seminar Theoretical Topics in Data Science (Gruppe 2) | Seminar | 4 | ||
| Seminar Theoretical Topics in Data Science (Gruppe 3) | Seminar | 4 | ||
| Seminar: Aktuelle Themen der Virtuellen Realität | Seminar | 4 | ||
| Seminar: Internet Technology | Seminar | 4 | ||
| Seminar: Aktuelle Themen im Bereich Hochleistungsrechnen (HPC) | Seminar | 4 | ×1Mo 08:30-18:00Extern×1Mo 14:30-16:00Extern×1Di 08:30-18:00Extern×1Fr 13:00-14:30Extern×1Fr 14:30-16:30Extern | |
| Aktuelle Themen der Physikalisch-Basierten Animation | Seminar | 4 | ×1Do 14:30-16:00Dekanatssitzungszimmer (2359|220)×4Fr 10:30-13:005054 (2356|054) | |
| Current Topics in Computer Graphics and Geometry Processing | Seminar | 4 | ||
| Seminar: Advanced Internet Technology | Seminar | 4 | ||
| Selected Topics in Human Language Technology and Machine Learning (Bachelor) | Seminar | 4 | ×1Di 10:00-12:002356|124×1Mi 13:00-16:002356|124 | |
| Selected Topics in Human Language Technology and Machine Learning (Master) | Seminar | 4 | ×1Do 14:00-17:002356|124 | |
| Social Computing Seminar | Seminar | 4 | ×1Do 12:00-16:30Großer B-IT Raum (2356|053.2)×1Fr 10:00-11:30i5 Seminarraum (2356|202)×1Fr 12:00-16:30Großer B-IT Raum (2356|053.2) | |
| Verifikationsverfahren | Seminar | 4 | ||
| Neuroinspired Computing | Seminar | 4 | ||
| Model-getriebenes Systems-Engineering mit der SPES-Methodik | Seminar | 4 | ||
| Selected Topics in Process Mining | Seminar | 4 | ||
| Ausgesuchte Themen zur Eingebetteten Software | Seminar | 4 | ||
| Post-Desktop User Interfaces | Seminar | 4 | ||
| Seminar Current Topics in Computer Vision and Machine Learning (Master seminar) | Seminar | 4 | ||
| Aktuelle Themen der Effizienten Algorithmen | Seminar | 4 | ||
| Knowledge Graphs Seminar | Seminar | 4 | ||
| Selected Topics in Digital Learning | Seminar | 4 | ×1Mo 09:00-16:005055 (2356|055)×1Mo 15:00-16:005055 (2356|055) | |
| Learning-based Control | Seminar | 4 | ×14StandardgruppeMi 14:30-16:00Extern×14Standardgruppe 2Mi 14:30-16:00Extern×14Standardgruppe 2Mi 16:30-18:00Extern | |
| Seminar: Current Topics in the Field of Immersive Visualization | Seminar | 4 | ||
| Topics in Network Science | Seminar | 4 | ||
| Seminar: Advanced Topics in Cryptography | Seminar | 4 | ×14Mo 16:00-18:00Extern | |
| Safety in AI | Seminar | 4 | ||
| Seminars on Internet Technology and Advanced Internet Technology | Seminar | 4 | ||
| Seminar Algorithmic Differentiation | Seminar | 4 | ||
| Foundations of Supervised Machine Learning with Graphs | Seminar | 4 | ×1Mi 10:00-12:006074|228×1Mi 10:00-15:006074|228 | |
| Data Science in Medicine Seminar | Seminar | 4 | ||
| Seminar: Logik, Komplexität, Spiele | Seminar | 4 | ||
| Advanced Topics in Network Science | Seminar | 4 | ×1Mi 14:00-15:30AH I (2350|028) | |
| Selected Topics in 3D Shape Analysis | Seminar | 4 | ×1Di 14:00-15:302359|118 | |
| Reliability in Process Mining | Seminar | 4 | ||
| Machine Learning Applications in Process Mining | Seminar | 4 | ||
| Advanced Topics in Reinforcement Learning and Planning | Seminar | 4 | ×1Di 16:30-18:306074|228×1Di 16:30-19:006074|228×1Mi 14:30-18:306074|228×2Do 14:00-16:006074|228 | |
| Formal Methods | Seminar | 4 | ||
| Statistical Criteria of Active Machine Learning | Seminar | 4 | ||
| Program Synthesis | Seminar | 4 | ||
| Reproducing Research Results in Formal Methods | Seminar | 4 | ||
| Deductive Verification | Seminar | 4 | ||
| Neuroinspired Computing | Seminar | 4 | ||
| 5G/6G Security | Seminar | 4 | ×1Mo 12:30-14:155054 (2356|054)×1Di 08:30-13:305052 (2356|052) | |
| Seminar Privacy and Big Data | Seminar | 4 | ||
| Prediction and Simulation in Process Mining | Seminar | 4 | ||
| Data-Driven Approaches to Sustainability & Resilience | Seminar | 4 | ||
| Selected Topics in Learning Analytics, Educational Data Mining and AI in Education | Seminar | 4 | ||
| Selected Topics in Personalized, Adaptive & Interactive Learning Environments | Seminar | 4 | ||
| Advanced Topics in Stochastic Process Mining | Seminar | 4 | ||
| Multi-Objective Optimisation | Seminar | 4 | ||
| Digitales Lernen am Beispiel Digitaler Gamebooks | Seminar | 4 | ×1Mo 14:00-15:005055 (2356|055)×1Di 09:00-16:005054 (2356|054) | |
| Seminar: Large Language Models | Seminar | 4 | ×12Di 10:00-12:00Extern | |
| Seminar: Multimodal Transformers and Applications | Seminar | 4 | ||
| Randomized Algorithms | Seminar | 4 | ||
| Modulbaustein Wissenschaftliche Integrität | Wissenschaftliche Integrität | Vorlesung | 0 |