► Computational Logic ► Logische Programmierung und Argumentation ► Maschinelles Lernen für Computer Vision ► Wissenschaftliches Rechnen für Systembiologie ► Wissensverarbeitung