Lehrveranstaltungen der Abtl. KI im SS 2000

Vorlesungen

• Planen und Scheduling (3V / 1Ü)
    S. Biundo-Stephan, B. Schattenberg, N. N.
• Modellierung und Analyse eingebetteter Systeme (3V / 1Ü)
    F.W. von Henke, M. Luther, E. Canver
• Kategorientheorie für Informatiker (2V)
    F.W. von Henke

Seminare

• Hauptseminar Adaptive und Intelligente Workflow-Management-Systeme (2 S)
    S. Biundo-Stephan, P. Dadam, N. N.
   (in Zusammenarbeit mit der Abteilung DBIS)
• Hauptseminar Intelligente Informationsagenten (2 S)
    S. Biundo-Stephan, N. N.

• Proseminar Maschinelles Beweisen - oder: Software-Inspektoren jagen abhängige Typen (2 S)
    F.W. von Henke, M. Luther, H. Pfeifer
• Proseminar Computergestütztes Lernen (2 S)
    F.W. von Henke, A. Martens, A. Seitz

Praktika

• Praktikum im Hauptstudium: Planen
    S. Biundo-Stephan, B. Schattenberg, N. N.
• Praktikum im Hauptstudium: Modellierung und Simulation automomer Agenten
    F.W. von Henke, T. Liebig

Arbeitsgemeinschaften

• AG Künstliche Intelligenz
    F.W. von Henke, S. Biundo-Stephan