October 2004 - Kolloq - lists.ibr.cs.tu-bs.de

Vortrag am 22.11.04,17.00 Uhr
by Sekretariat 27 Oct '04

27 Oct '04

Prof Dr. G. Brunnett (über Prof Fellner) Fak. Informatik, TU Chemnitz Reverse Engineering - ein Ansatz zur automatisierten Modellerzeugung im CAD Siehe auch http://www.cs.tu-bs.de/kolloquium/brunnett.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

1 0

Vortrag am 6.12.,17.00 Uhr,IZ, M 160
by Sekretariat 06 Oct '04

06 Oct '04

Prof. Francis Borceux (über Prof. Adamek) Univ. Catholique de Louvain-Belgien Thema: Von Cauchy bis Azumaya oder die Geheimverabredungen von Analysis und Algebra http://www.cs.tu-bs.de/kolloquium/borceux.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

1 0

Erinnerung Vortrag heute 15.00 Uhr,IZ, M 160, 1. OG
by Sekretariat 04 Oct '04

04 Oct '04

Prof. W.Penczek, Polish Ac. Of Sc.and Inst. f. CS,Univ. Warsaw (über Frau Prof. Goltz) VerICS 2004: A Model Checker for Real Time and Multi-Agent-Systems Siehe auch: http://www.cs.tu-bs.de/kolloquium/penczek.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

1 0