Seminar WT 2000 Modellierung, Modelchecking, Agents

Seminar WT 2000

Modellierung, Modelchecking, Agents

Prof. Dr. G. Schmidt

Termin

Do., 15-17 Uhr, Raum 2417, Geb. 41/400


Vorträge

20. Januar: A. Haidallah

Prozessaspekte zu UML

27. Januar: S. Vogelreuter

Agentensysteme Einführung

3. Februar: M. Göpfert

BDDs and Model Checking

10. Februar: S. Klaus

Tables in Specification and Documentation

9. März: J. Bartelsen

Multiway Decision Diagrams

16. März: S. Wagner, A. Zobel

Multiagent Systems - A Theoretical Framework for Intentions, Know-How, and Communications

23. März: O. Braun

Der Duration Calculus mit Unterstützung in PVS und Isabelle


Ansprechpartner: Wolfram Kahl