| Information and Communication Technology | Computational Intelligence | Grundlagen von Informationssystemen, Computational Logic und automatische Deduktion, Logik, Spezifikation und Wissensrepräsentation, Advanced Information Integration, Hard- und Software Verifikation (CAV), Semantic Web und Intelligente Agenten, Algorithmen, Komplexität und Optimierung, Natural Computing | 70 |
| Information and Communication Technology | Distributed and Parallel Systems | Internet Engineering, Enterprise Engineering, Ambient Intelligence, Software Architectures, Theories and protocols for distributed and parallel systems, Security and Safety | 10 |
| Information and Communication Technology | Computer Engineering and Software-Intensive Systems | Dependable Networked Embedded Systems, Fehlertolerante verteilte Echtzeitsysteme, Zeitgesteuerte Echtzeitsysteme, Dependable Systems-on-Chip, Model-based Design, Validation & Verification, Automation Systems, Speichersysteme | 20 |
