Email Gateway (Aug 17 2022 at 14:46): Email Gateway (Aug 17 2022 at 14:46):From: Clemens Ballarin <ballarin@in.tum.de>
Dear Users of Isabelle,
I would like to draw your attention to the
Colloquium in Honour of the
Appointment of Lawrence C. Paulson as
Distinguished Affiliated Professor of the TU Muenchen
held in Garching near Munich on 30 May 2006. You are all cordially
invited. The full programme is available at
http://www4.in.tum.de/proj/theoremprov/Festkolloquium.pdf (in German).
If you would like to attend, please contact Ms Ursula Eschbach
(eschbach@in.tum.de) no later than 16 May 2006.
Kind regards,
Clemens Ballarin
Last updated: May 03 2024 at 08:18 UTC