[isabelle] Colloquium in Honour of Prof. Lawrence C. Paulson

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 at in.tum.de) no later than 16 May 2006.

Kind regards,

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

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.