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

Erinnerung Vortrag heute 10.00 Uhr, M 161, 1. OG
by Sekretariat 30 Sep '04

30 Sep '04

Prof. Myong-Hee Kim, Seoul Research Issues Network AT (über Prof Fellner) Siehe auch: http://www.cs.tu-bs.de/kolloquium/myong-hee.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 30.9. 10.00 Uhr, M 161
by Sekretariat 27 Sep '04

27 Sep '04

Frau Prof. Myong-Hee Kim, Dep. of Cs and Eng. (über Prof Fellner) Ewha Womans, Univ., Seoul Thema: Research Issues Network AT Siehe auch: http://www.cs.tu-bs.de/kolloquium/myong-hee.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

kolloquium am 30.09.04
by Sekretariat 17 Sep '04

17 Sep '04

Vortrag am 30.09.04 um 11.00 Uhr , Raum M161, IZ, 1.OG Frau Prof. Myong-Hee Kim, Seoul, über Prof. Fellner Thema: Research Issues Network AT Abstract folgt http://www.cs.tu-bs.de/kolloquium/myong-hee.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

WG: Kolloquium am 04.10 Prof. Penczek
by Sekretariat 14 Sep '04

14 Sep '04

Auch unter: http://www.cs.tu-bs.de/kolloquium/penczek.htm Im Anhang auch als Word-Dokument (doc) -----Ursprüngliche Nachricht----- Von: Sekretariat [mailto:sek@ibr.cs.tu-bs.de] Gesendet: Dienstag, 14. September 2004 12:56 An: 'kolloq(a)ibr.cs.tu-bs.de' Betreff: Kolloquium am 04.10 Prof. Penczek Informatik-Kolloquium Zeit: Montag 04.10.04, 15.00 Uhr Ort: Mühlenpfordtstr. 23, IZ Hörsaal M 160, 1. OG Vortragender: Prof. Wojciech Penczek, (über Frau Prof. Goltz) Polish Academy of Science und Institute for Computer Science, Univ. of Warsaw Thema: VerICS 2004: A Model Checker for Real Time and Multi-agent Systems 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

Kolloquium am 04.10 Prof. Penczek
by Sekretariat 14 Sep '04

14 Sep '04

Im Anhang auch als Word-Dokument (doc) Informatik-Kolloquium Zeit: Montag 04.10.04, 15.00 Uhr Ort: Mühlenpfordtstr. 23, IZ Hörsaal M 160, 1. OG Vortragender: Prof. Wojciech Penczek, (über Frau Prof. Goltz) Polish Academy of Science und Institute for Computer Science, Univ. of Warsaw Thema: VerICS 2004: A Model Checker for Real Time and Multi-agent Systems 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

Kolloquium am 04.10.04 Prof. Penczek
by Sekretariat 14 Sep '04

14 Sep '04

Zeit: Montag 04.10.04, 15.00 Uhr Ort: Mühlenpfordtstr. 23, IZ Hörsaal M 160, 1. OG Vortragender: Prof. Wojciech Penczek, (über Frau Prof. Goltz) Polish Academy of Science und Institute for Computer Science, Univ. of Warsaw Thema: VerICS 2004: A Model Checker for Real Time and Multi-agent Systems Zusammenfassung: Verics is a model checking tool for verification of timed and multi-agent systems. These systems can be represented by Timed Automta, Time Petri Nets, or given as Estelle and Intermediate Language specifications. Verics offers three verification methods: Bounded Model Checking, Unbounded Model Checking, and Splitting for properties to be specified in subsets of TCTL and CTLpK. The current version of Verics uses also a new graphical user interface to design Time Petri Nets and Timed Automata. The lecture presents the verification methods of VerICS as well as a demo of its functionality. 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 Kolloquium Rosicky
by Sekretariat 09 Sep '04

09 Sep '04

Vortrag heute Prof. Dr. Jiri Rosicky, Masaryk-Universität Brünn (über Prof. Adamek) "Pure injectivity revisited" Ort und Zeit: IZ, Mühlenpfordtstr. 23, Seminarraum 349 Weitere Information: http://www.cs.tu-bs.de/kolloquium/rosicky3.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 Kolloquium Schewe
by Sekretariat 07 Sep '04

07 Sep '04

Prof Dr. Klaus Dieter Schewe (über Prof. Ehrich), Raum M 161, 1 OG, 11.00 Uhr. Weitere Information: 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

1 0