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

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

Erinnerung Vortrag heute , 10:00 Uhr
by Sekretariat 19 Aug '04

19 Aug '04

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

1 0

neuer Vortrag am 9.9., 17.00 Uhr
by Sekretariat 18 Aug '04

18 Aug '04

IZ Seminarraum 349, 3. OG Prof. Dr. Rosicky, Masaryk-Univ. Brünn, Tsch. Rep. (über Prof Adamek) Thema:Pure injectivity revisited Siehe auch: 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

Kolloquium am 19.08.04
by Sekretariat 13 Aug '04

13 Aug '04

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

1 0

Vortrag Harel 8.9.04, neuer Titel
by Sekretariat 09 Aug '04

09 Aug '04

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

1 0

falsche kolloquium Angaben
by Sekretariat 06 Aug '04

06 Aug '04

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

1 0