Software Systems Engineering

Columns (5/10)

157 of 157 courses

Modulbaustein Wissenschaftliche IntegritätWissenschaftliche Integrität Vorlesung0
Model CheckingIntroduction to Model Checking Vorlesung6×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 Übung0×11Fr 14:30-16:00AH III (2350|314.1)
ErfüllbarkeitsüberprüfungErfü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 DatascienceAlgorithmic 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 Übung0×15Do 12:30-14:00IPC Hörsaal (2400|U101)
Infinite Computations and GamesInfinite Computations and Games Vorlesung6×13Mo 10:30-12:005056 (2356|056)
Infinite Computations and Games Übung0×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ätstheorieKomplexitätstheorie Vorlesung6×12Mi 08:30-10:00AH III (2350|314.1)×9Do 16:30-18:00AH II (2350|111)
Übung zur Vorlesung Komplexitätstheorie Übung0×11Mi 14:30-16:00AH II (2350|111)×1Mi 14:30-16:00AH IV (2354|030)
Concurrency TheoryConcurrency Theory Vorlesung6×9Di 14:30-16:00AH II (2350|111)×9Do 14:30-16:00AH II (2350|111)
Concurrency Theory Übung0×13Fr 08:30-10:00AH III (2350|314.1)
The Graph Isomorphism ProblemThe Graph Isomorphism Problem Vorlesung6
The Graph Isomorphism Problem (Übung) Übung0
Analyse von AlgorithmenAnalyse von Algorithmen Vorlesung0×14Mi 10:30-12:005055 (2356|055)×15Fr 10:30-12:00AH III (2350|314.1)
Probabilistic ProgrammingProbabilistische Programmierung Vorlesung6×11Mi 16:30-18:00AH III (2350|314.1)×9Do 08:30-10:00AH I (2350|028)
Probabilistische Programmierung Übung0×11Mo 10:30-12:00AH III (2350|314.1)×1Fr 14:30-16:00AH VI (2356|051)
Post-quantum cryptographyPost-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 ApplicationsMachine 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 ComputergraphikBasic Techniques in Computer Graphics Vorlesung6×15Mo 16:30-18:00AH V (2356|050)×14Di 12:30-14:00AH V (2356|050)
Basic Techniques in Computer Graphics Übung0×15Di 14:30-16:00AH V (2356|050)
Virtuelle RealitätEinführung in die Virtuelle Realität (VR I) Vorlesung/Übung6×12Di 10:30-12:00AH VI (2356|051)×14Do 12:30-14:00AH VI (2356|051)
iOS Application DevelopmentiOS Application Development Vorlesung6×5Mo 12:30-14:00Extern×5Di 10:00-11:30Extern
Computer Vision 2Computer Vision 2 Vorlesung/Übung6
Physikalisch-Basierte AnimationPhysikalisch-Basierte Animation Vorlesung/Übung6×14Mi 10:30-12:005056 (2356|056)×15Fr 10:30-12:005056 (2356|056)
Designing Interactive Systems IDesigning Interactive Systems I Vorlesung/Übung6×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/Übung6×11Di 13:00-15:30Extern×12Di 15:45-17:15Extern
Formale Methoden für SteuerungssoftwareFormale Methoden für Steuerungssoftware Vorlesung/Übung6×14Mo 10:30-12:003220|259×13Di 10:30-12:003220|259
Mobile Radio Networks 1Mobile 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 EngineeringCommunication Systems Engineering Vorlesung/Übung6×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 SystemsResearch Focus Class on Medical Data Privacy Vorlesung/Übung6
Industrial Network SecurityIndustrial 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) Übung0×6Fr 12:30-14:00AH II (2350|111)
Advanced Network SecurityAdvanced 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/Übung0×13Di 12:30-14:005056 (2356|056)
Advanced Operating SystemsAdvanced Operating Systems Übung0×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 LerntheorieAlgorithmische Lerntheorie Vorlesung×12Di 08:30-10:00AH II (2350|111)×10Mi 10:30-12:00AH II (2350|111)
Algorithmische Lerntheorie (Übung) Übung0×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 WebSemantic Web Vorlesung/Übung4×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 IntelligenzIntroduction to Artificial Intelligence Vorlesung/Übung6×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 BasesThe Logic of Knowledge Bases Vorlesung/Übung0×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 BioinformaticsEinführung in die Bioinformatik Vorlesung0×13Mo 16:15-17:45Online-Veranstaltung
Introduction to Data ScienceIntroduction to Data Science - Vorlesung Vorlesung6×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 ManagementFundamentals of Business Process Management - Vorlesung Vorlesung×8Fr 10:30-12:00H06 (1385|004)
Fundamentals of Business Process Management - Übung Übung0×11Mo 12:30-14:005056 (2356|056)
Machine LearningMachine Learning Vorlesung/Übung6×15Mo 18:30-20:00H02 (1385|102)×14Di 16:30-18:00H02 (1385|102)
Machine Learning Fach-/Modulprüfung6Di 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 SystemsStochastic Processes and Dynamical Systems Vorlesung×15Mo 10:30-12:45423 (6074|423)
Research Focus Class Industrial Applications for LLM-driven Agentic SystemsResearch 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 TechnologyWeb3 & Distributed Ledger Technology Vorlesung/Übung×14Mi 13:00-15:00Großer B-IT Raum (2356|053.2)
Information VisualizationInformation Visualization Vorlesung×15Do 10:30-12:00Online-Veranstaltung
Information Visualization Fach-/Modulprüfung6Mi 25.02.2026 09:00-14:00
High-Performance ComputingEinfü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 DifferentiationEinführung in Algorithmisches Differenzieren Vorlesung/Übung6×13Di 10:30-12:00AH IV (2354|030)×15Mi 10:30-12:00AH IV (2354|030)
High-performance Matrix ComputationsHigh-Performance Matrix Computations Vorlesung/Übung
Angewandte Softwaretechnik im Lebenszyklus der AutomobilelektronikDer digitale Lebenszyklus von Fahrzeugen als Teil des Internet of Things (IoT) Vorlesung/Übung0×13Di 12:30-14:005056 (2356|056)
Modellbasierte SoftwareentwicklungModellbasierte Softwareentwicklung Vorlesung/Übung0×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 EngineeringModel-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)
PraktikumLab Course Centralized Goal Reasoning for Logistics Robots Praktikum7
Digitalisierung der Produktion Praktikum
Parallel Graph Algorithms Praktikum×1Di 11:30-12:30t.b.d.
The Media Computing Project (Praktikum Hauptstudium) Praktikum7
Geometry Processing and 3D Printing Praktikum7
Lab Course Centralized Goal Reasoning for Logistics Robots Praktikum7
Projektmodul: OR-Praktikum Projekt7×1MSBWLMo 16:00-18:00B201 (3011|201)×1MSBWLDi 12:00-14:00B037 (3011|037)×1MSBWLDi 14:30-18:00B037 (3011|037)×1MSMath/MSInfMo 16:00-18:00B201 (3011|201)×1MSMath/MSInfDi 12:00-14:00B037 (3011|037)×1MSMath/MSInfDi 14:30-18:00B037 (3011|037)×1MSMSaMMo 16:00-18:00B201 (3011|201)×1MSMSaMDi 12:00-14:00B037 (3011|037)×1MSMSaMDi 14:30-18:00B037 (3011|037)×1MSWiIngMo 16:00-18:00B201 (3011|201)×1MSWiIngDi 12:00-14:00B037 (3011|037)×1MSWiIngDi 14:30-18:00B037 (3011|037)×1MSWiWiMo 16:00-18:00B201 (3011|201)×1MSWiWiDi 12:00-14:00B037 (3011|037)×1MSWiWiDi 14:30-18:00B037 (3011|037)
Flüssigkeitssimulation in der Computergraphik Praktikum7×15Mi 14:30-16:005052 (2356|052)
Process Discovery Using Python Praktikum7
Process Conformance Checking in Python Praktikum7
Automatisierung einer Destillationsanlage Praktikum7×1InformatikerDi 13:00-16:00Fakultätssitzungssaal Informatik (2359|222)×1InformatikerDi 15:00-15:30Online-Veranstaltung×1InformatikerMi 14:30-16:003220|259×1IngenieureDi 13:00-16:00Fakultätssitzungssaal Informatik (2359|222)×1IngenieureDi 15:00-15:30Online-Veranstaltung×1IngenieureMi 14:30-16:003220|259×1StandardgruppeDi 13:00-16:00Fakultätssitzungssaal Informatik (2359|222)×1StandardgruppeDi 15:00-15:30Online-Veranstaltung×1StandardgruppeMi 14:30-16:003220|259
Algorithmic Battle International Praktikum7×1Mi 10:00-12:00Seminarraum i1, Raum 4013 (2353|013)×1Do 14:00-18:30Dekanatssitzungszimmer (2359|220)×1Do 14:00-17:00Fakultätssitzungssaal Informatik (2359|222)
Mixed Reality Lab Praktikum7×7Mo 10:30-12:00Großer B-IT Raum (2356|053.2)
Digitalisierung der Produktion Praktikum7
Parallel Graph Algorithms Praktikum7×1Di 11:30-12:30t.b.d.
Interactive Visualisation of Graph Algorithms Praktikum7
Process Mining in Celonis Praktikum7
Praktikum: Model Checking Praktikum7×6Mi 15:00-17:00t.b.d.
Machine Learning for Sales Prediction in Retail Praktikum7×5Mi 14:30-16:30Seminarraum i7, Raum 4116 (2353|116)
Knowledge Graph Lab Praktikum7
Network Analytics Praktikum7×1Mi 14:30-16:005054 (2356|054)×5Mi 14:30-16:00t.b.d.
Simulation and Web Application of Renewable Energy (MA) Praktikum7
Scientific Visualization Praktikum7
Building Large Language Model Applications Praktikum7
AI supported Information Foraging Praktikum7×14Di 10:30-12:005054 (2356|054)
Intelligent Virtual Agents in Social Virtual Reality Praktikum7
Data Ecosystems Lab Praktikum7×6Di 14:00-15:30Kleiner B-IT Raum (2356|053.1)×1Di 14:00-15:30Online-Veranstaltung×1Di 15:00-18:00Großer B-IT Raum (2356|053.2)
Across Borders and Realities: Designing Immersive Learning in the Euregio Praktikum7
Data Visualisation and Analytics Praktikum7
Empathic Computing Lab Praktikum7
Visualisierung von Dienstplänen im Krankenhaus Praktikum7×1Mo 11:30-13:00Fakultätsseminarraum (2359|U112)×1Mi 10:30-12:00S09 (1385|209)×11Mi 12:30-14:00SE 002 (1580|002)×1Fr 10:30-12:00SE 002 (1580|002)
Inventory app for disaster relief Praktikum7×1Mo 12:30-14:00S01 (1385|201)×12Mo 14:30-16:00SE 101 (1580|101)×1Fr 10:30-11:30S15 (1385|215)
Efficient Artificial Intelligence (AI) with Rust Praktikum7
Programming quantum algorithms Praktikum7
Model-Driven Engineering of Digital Twins for a I4.0 Model Factory Praktikum7
Seminar InformatikFull-scale Software Engineering Seminar4×1Mi 13:00-14:005056 (2356|056)×1Do 13:00-16:00Fakultätssitzungssaal Informatik (2359|222)
Seminar: Aktuelle Themen der Virtuellen Realität Seminar4
Seminar: Internet Technology Seminar4
Seminar: Aktuelle Themen im Bereich Hochleistungsrechnen (HPC) Seminar4×1Mi 09:00-11:00Extern×1Mi 10:30-12:00Extern×1Fr 10:15-12:15Extern×1Fr 10:30-12:00Extern
Aktuelle Themen der Physikalisch-Basierten Animation Seminar4×1Mo 14:30-16:00Dekanatssitzungszimmer (2359|220)×2Do 10:30-13:00Dekanatssitzungszimmer (2359|220)
Current Topics in Computer Graphics and Geometry Processing Seminar4
Seminar: Advanced Internet Technology Seminar4
Selected Topics in Machine Learning and Human Language Technology (Master) Seminar4×1Di 09:00-13:002356|124×1Mi 16:00-19:002356|124
Selected Topics in Machine Learning and Human Language Technology (Bachelor) Seminar4×1Mo 10:00-13:002356|124×1Mi 16:00-19:002356|124
Verifikationsverfahren Seminar4
Neuroinspired Computing Seminar4
Selected Topics in Process Mining Seminar4×1Do 08:15-11:00Kleiner B-IT Raum (2356|053.1)×3Do 09:00-13:00Kleiner B-IT Raum (2356|053.1)
Ausgesuchte Themen zur Eingebetteten Software Seminar4
Post-Desktop User Interfaces Seminar4×5Do 10:30-12:00Extern
Seminar Current Topics in Computer Vision and Machine Learning (Master seminar) Seminar4
Knowledge Graphs Seminar Seminar4
Selected Topics in Digital Learning Seminar4×1Mo 14:00-15:00Extern×1Di 09:00-16:00Extern
Current Topics in Systems Seminar4
Probabilities in Process Mining Seminar4
Seminar: Selected Topics in Natural Language Processing Seminar4×12Mi 10:00-12:00Extern
Learning-based Control Seminar4×7Gruppe 1Mi 14:30-16:00423 (6074|423)×7Gruppe 2Mi 16:30-18:00423 (6074|423)
Seminar: Current Topics in the Field of Immersive Visualization Seminar4
Topics in Network Science Seminar4
Advanced Topics in Data-Driven Medicine Seminar4
Seminar Trends in Computer-Aided Verification Seminar4×1Mi 08:30-09:00Fakultätssitzungssaal Informatik (2359|222)
Seminar: Advanced Topics in Cryptography Seminar4×14Mo 16:00-18:00Extern
Evolutionary Computation Seminar4
Formal Methods Seminar4
Neuroinspired Computing Seminar4
Safety in AI Seminar4
Digitales Lernen am Beispiel Digitaler Gamebooks Seminar4×1Mo 15:00-16:00Extern×1Do 09:00-16:00Extern
Automated Artificial Intelligence Seminar4
Seminars on Internet Technology and Advanced Internet Technology Seminar4
Seminar Algorithmic Differentiation Seminar4×1Fr 10:00-11:30t.b.d.
Theory of Machine Learning with Graphs Seminar4×1Di 10:00-12:006074|228×2Mi 10:00-12:006074|228×1Do 10:00-12:006074|228
Data Science in Medicine Seminar Seminar4
Advanced Topics in Network Science Seminar4
Selected Topics in 3D Shape Analysis Seminar4
Object-Centric Process Mining Seminar4
Reliability in Process Mining Seminar4
Advanced Topics in Reinforcement Learning and Planning Seminar4×1Di 13:00-15:006074|228×4Di 14:00-16:006074|228×3Do 14:00-16:006074|228
Advanced Algorithms Seminar4×1Mi 14:30-16:00Seminarraum i1, Raum 4013 (2353|013)
Introduction to Object-Centric Process Mining Seminar4
Introduction to Selected Topics in Process Mining Seminar4×1Do 08:15-11:00Kleiner B-IT Raum (2356|053.1)×3Do 09:00-13:00Kleiner B-IT Raum (2356|053.1)
Machine Learning Applications in Process Mining Seminar4
Windfarm Optimization Seminar4
Machine Learning for Combinatorial Optimization Seminar4×2Mi 10:00-12:006074|228×1Mi 12:00-14:006074|228×1Do 10:00-12:006074|228
Intelligent Data Management with Generative AI Seminar4×1Do 11:30-13:00Extern
Aktuelle Themen der Effizienten Algorithmen Seminar4
Advanced Topics in Learning Technologies: Integrating AI in Education Seminar4
Aligning (Research) Software Engineering and Learning Technologies Seminar4
Seminar on Logic Seminar4×1Mo 09:00-16:00Seminarraum i7, Raum 4116 (2353|116)×1Di 09:00-16:00Seminarraum i7, Raum 4116 (2353|116)×1Mi 09:00-16:00Seminarraum i7, Raum 4116 (2353|116)×1Do 09:00-16:00Seminarraum i7, Raum 4116 (2353|116)
Industrial Security Seminar4×1Mo 12:30-14:30B057 (3011|057)×1Mi 08:30-14:30S01 (1385|201)×1Mi 14:30-15:00S01 (1385|201)
Discrete and Combinatorial Optimization Seminar4×1Mo 14:30-16:00Fakultätsseminarraum (2359|U112)×1Mi 08:00-10:00Fakultätsseminarraum (2359|U112)×1Do 12:30-16:00Fakultätsseminarraum (2359|U112)×1Fr 08:00-10:00Fakultätsseminarraum (2359|U112)
Quantum programming languages Seminar4
Quantum cryptography Seminar4
Exploring Agile Development Methodologies and Best Practices for Research Software Engineering Seminar4
Seminar Current Topics in Computational Social Sciences Seminar4×1Mi 08:00-18:006070|303×1Mi 10:00-11:30Online-Veranstaltung×1Mi 14:15-18:006070|303
Seminar: Large Language Models Seminar4×13Di 10:00-12:00Extern
Current Topics in Applied Computational Social SciencesSeminar Current Topics in Computational Social Sciences Seminar4×1Mi 08:00-18:006070|303×1Mi 10:00-11:30Online-Veranstaltung×1Mi 14:15-18:006070|303
Seminar Current Topics in Computational Social Sciences Seminar0×1Mi 08:00-18:006070|303×1Mi 10:00-11:30Online-Veranstaltung×1Mi 14:15-18:006070|303
Seminar Current Topics in Computational Social Sciences Seminar×1Mi 08:00-18:006070|303×1Mi 10:00-11:30Online-Veranstaltung×1Mi 14:15-18:006070|303