Das Programm zur Geburtstagsfeier
von Prof. Jörg Siekmann

27. - 28.09.2001 am DFKI, Saarbrücken



Donnerstag, 27. September 2001

13:00 UhrGrußadressenProf. Dr. Margret Wintermantel
Präsidentin der Universität des Saarlandes
Jürgen Schreier
Minister für Bildung, Kultur und Wissenschaft des Saarlandes
Prof. Dr. Gerd Smolka
Stellvertretender Dekan der Fakultät für Mathematik und Informatik
13:30 UhrLaudatioProf. Dr. Thomas Christaller
Institut für Autonome Intelligente Systeme (AIS)
14:00 UhrFestvorträgeProf. Dr. Dr. h.c. Wolfgang Wahlster
Vorsitzender der Geschäftsführung der DFKI GmbH
Prof. Dr. Dr. h.c. Heinz G. Schwärtzel
ehem. Präsident der F.A.S.T. Gesellschaft fur angewandte Softwaretechnologie mbH
Oskar Lafontaine
Ministerpräsident des Saarlandes a.D.,
Bundesminister für Finanzen a.D.
15:00 UhrKaffeepause
15:30 UhrKolloquiumProf. Dr. Pat Hayes
University of West Florida
Prof. Dr. Alan Bundy
University of Edinburgh
Prof. Dr. Wolfgang Bibel
Technische Universität Darmstadt
Prof. Dr. Manfred Broy
Technische Universität München
18:30 UhrAbendveranstaltung
Festansprache
Prof. Dr. Hans Uszkoreit
Direktor an der DFKI GmbH

Freitag, 28. September 2001

9:00 UhrFestvorträge
Deduktion
Dr. Manfred Kerber
University of Birmingham
P.D. Dr. habil. Michael Kohlhase
Carnegie Mellon University, Pittsburgh
P.D. Dr. habil. Erica Melis
DFKI GmbH
10:10 UhrKaffeepause
10:30 UhrFestvorträge
Programmiersprachen & Agententechnologie
Dr. Klaus Fischer
DFKI GmbH
Prof. Dr. Hans-Jürgen Ohlbach
LMU München
Prof. Dr. Gert Smolka
Universitüt des Saarlandes
11:40 UhrKaffeepause
12:00 UhrFestvorträge
Formale Methoden
Dr. Dieter Hutter
DFKI GmbH
P.D. Dr. Habil. Werner Stephan
DFKI GmbH
Prof. Dr. Christoph Walther
TU Darmstadt
13:10 UhrMittagspause
14:10 UhrFestvorträge
Wissensverarbeitung
Prof. Dr. Klaus P. Jantke
DFKI GmbH
Prof. Dr. Franz Baader
RWTH Aachen
Prof. Dr. Manfred Schmidt-Schauss
Johann Wolfgang v. Goethe Universität, Frankfurt
Prof. Dr. Peter Struss
TU München
15:20 UhrSchlußwort




Webmaster
Last modified: Fri Aug 31 14:42:07 MET DST