News

12 November 2007 - Tools for Proofs

Leslie Lamport becomes Doctor Honoris Causa from University Henri Poincaré, Nancy-1

November 12, 2007

Leslie Lamport becomes Doctor Honoris Causa from University of Nancy.
see announcement and video.

Stephan Merz organizes a seminar in honor of Leslie Lamport on November 13 at Loria.
see here.