Seminar WT 2000

Modellierung, Modelchecking, Agents

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

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