Informatik-Kolloquium

anlässlich
des 60. Geburtstags von

Prof. Dr. Klaus Indermark

Freitag, 13. Oktober 2000
Informatik-Zentrum
Hörsaal AH V
Aachen, Ahornstraße 55

Die Fachgruppe Informatik der RWTH Aachen lädt ein zu einem Kolloquium
anlässlich des 60. Geburtstags von Prof. Dr. K. Indermark,
Inhaber des Lehrstuhls für Informatik II seit 1975.

Programm

Ort:	Informatik Zentrum, Ahornstraße 55 Hörsaal AH V
14:30 Uhr	Kaffee/Tee im Foyer
15:00 Uhr	*Begrüßung* Dekan der Fakultät für Mathematik, Informatik und Naturwissenschaften, Prof. Dr. A. Krieg Sprecher der Fachgruppe Informatik, Prof. Dr. W. Thomas
15:20 Uhr	Prof. Dr. Dr.h.c. W. Brauer, TU München: *Algorithmen, Funktionen, Sprachen*
16:00 Uhr	Kaffeepause
16:30 Uhr	Prof. Dr. W. Damm, Universität Oldenburg: *Formale Methoden in der Verifikation eingebetteter Systeme*

anschließend Sekt

Ein gemeinsames Abendessen findet statt im Restaurant Gut Entenpfuhl, Aachen, Entenpfuhler Weg 11.

Kontakt

Lehrstuhl für Informatik II
RWTH Aachen
D-52056 Aachen
Germany


Phone: +49-241 / 80-21201
Fax: +49-241 / 8888-217
info2sek@informatik.rwth-aachen.de

Webmaster

Disclaimer

Last modified: 2002-10-11 16:18 UTC

Informatik-Kolloquium

anlässlich des 60. Geburtstags von

Prof. Dr. Klaus Indermark

Freitag, 13. Oktober 2000 Informatik-Zentrum Hörsaal AH V Aachen, Ahornstraße 55

anlässlich
des 60. Geburtstags von

Freitag, 13. Oktober 2000
Informatik-Zentrum
Hörsaal AH V
Aachen, Ahornstraße 55