Festveranstaltung

die Fakultät für Mathematik und Informatik wird

Prof. Patrick Cousot
Ecole Normale Superiere
Paris

am 29. Juni 2001, 16.00 Uhr die Ehrendoktorwürde verleihen.
Prof. Cousot arbeitet auf dem Gebiet der Programmiersprachen,
inbesondere Abstrakte Interpretation und Semantik.

Es ist das erste Mal, dass die neue Fakultät einen
Dr.h.c. verleiht. Es ist auch das erste Mal, dass
an unserer Universität ein Dr.h.c. an einen
Informatiker vergeben wird.

Die Ehrendoktorwürde wird im Rahmen einer
Festveranstaltung übergeben, bei der Prof. Cousot
einen Vortrag hält. Zu der Festveranstaltung möchte
ich Sie ganz herzlich einladen. Das Programm habe
ich unten angefügt.

Im Anschluss an den Vortrag von Prof. Cousot werden
wir die Diplom- und Promotionsurkunden an die Absolventen
unserer Fakultät überreichen. Danach gibt es einen kleinen
Empfang. Über Ihr zahlreiches Erscheinen würde ich mich
freuen.

Mit den besten Grüßen,

Gert Smolka

Vorsitzender der FR Informatik
Stellvertretender Dekan der Fakultät
für Mathematik und Informatik


***********************************************

Verleihung der Ehrendoktorwürde an
Prof. Patrick Cousot

Freitag, 29. Juni 2001
16.00 Uhr
Geb. 45, Hörsaal 002


Begrüßung

Prof. Margret Wintermantel
Präsidentin der Universität des Saarlandes

Laudatio

Prof. Reinhard Wilhelm

Verleihung

Prof. Rainer Schulze-Pillot-Ziemen
Dekan der Fakultät für Mathematik und Informatik

Vortrag "Abstract Interpretation and Applications"

Prof. Patrick Cousot

Verleihung der Diplom- und Promotionsurkunden an
die Absolventen der Fakultät

Musikalischer Rahmen

Charlotte Nyborg, Harfe

Empfang vor dem Hörsaal