[loginf] Festkolloquium Prof. Lawrence C. Paulson

Clemens Ballarin ballarin at in.tum.de
Wed May 3 12:20:32 CEST 2006


Liebe Mitglieder der GI-Fachgruppe Logik in der Informatik,

am 30.5.2006 findet in Garching bei Muenchen das

   Festkolloquium anlaesslich der
   Ernennung von Lawrence C. Paulson zum
   Distinguished Affiliated Professor der TU Muenchen

statt.  Sie sind hierzu herzlich eingeladen.  Das ausfuehrliche Programm 
finden Sie unter http://www4.in.tum.de/proj/theoremprov/Festkolloquium.pdf.

Um Anmeldung wird gebeten bis zum 16.5.2006 an Frau Ursula Eschbach 
(eschbach at in.tum.de).

o Komme ohne Begleitperson
o Komme mit ... Begleitpersonen
o Ich nehme an einer Nachsitzung teil.

Mit freundlichen Gruessen,

Clemens Ballarin
-- 
Dr. Clemens Ballarin
Institut fuer Informatik, TU Muenchen
Boltzmannstr. 3, 85748 Garching, Germany
Phone: +49-89-289-17326, Fax: +49-89-289-17307
http://www4.in.tum.de/~ballarin/




More information about the loginf mailing list