M 160, 1. OG, Dr. Rob van Glabbeek (über Frau Prof. Goltz)
Thema: On the Expressiveness of Higher Dimensional Automata
Siehe auch:
http://www.cs.tu-bs.de/kolloquium/glabbeek.htm
M.Kielhorn,Ch.Schweda
Inst. für Betriebssysteme und Rechnerverbund
TU Braunschweig
Mühlenpfordtstr. 23
38106 Braunschweig
Tel: 0531 391 3283
Fax: 0531 391 5936
Vortrag Dr. Rob van Glabbeek, National ICT Australia and School of
Computer Science and Engineering
The University of New south Wales, Sydney, Australia
Ort und Zeit: Mühlenpfordtstraße 23, Hörsaal M 160, 1. OG, 10.00 Uhr
Weitere Information: http://www.ca.tu-bs.de/kolloquium/glabbeek.htm
M.Kielhorn,Ch.Schweda
Inst. für Betriebssysteme und Rechnerverbund
TU Braunschweig
Mühlenpfordtstr. 23
38106 Braunschweig
Tel: 0531 391 3283
Fax: 0531 391 5936
Two Techniques for Software Engineering: Reactive Animation and Smart
Play-Out
Siehe auch
http://www.cs.tu-bs.de/kolloquium/harel2.htm
M.Kielhorn,Ch.Schweda
Inst. für Betriebssysteme und Rechnerverbund
TU Braunschweig
Mühlenpfordtstr. 23
38106 Braunschweig
Tel: 0531 391 3283
Fax: 0531 391 5936
Kolloquium David Harel
War leider eine alte Ankündigung
Neue folgt noch
M.Kielhorn,Ch.Schweda
Inst. für Betriebssysteme und Rechnerverbund
TU Braunschweig
Mühlenpfordtstr. 23
38106 Braunschweig
Tel: 0531 391 3283
Fax: 0531 391 5936
Prof. Dr. Klaus-Dieter Schewe, Dep. of Information Systems, Massey Univ.
, New Zealand (über Prof. Ehrich)
Thema: Kleene Algebren im Entwurf web-basierter Informationssysteme
Siehe auch:
http://www.cs.tu-bs.de/kolloquium/schewe.htm
M.Kielhorn,Ch.Schweda
Inst. für Betriebssysteme und Rechnerverbund
TU Braunschweig
Mühlenpfordtstr. 23
38106 Braunschweig
Tel: 0531 391 3283
Fax: 0531 391 5936
