The Ecole Normale Supérieure de Cachan awards to Martin Abadi (Google, USA) the title of Doctor Honoris Causa on Friday June 26th 2015. The Laboratoire Spécification & Vérification (LSV) is organizing a two-day colloquium in honour of Martin Abadi. The colloquium will consists of a few invited talks and will be concluded by the the Doctor Honoris Causa ceremony.
The event is open to the public and free of charge. Registration
is however required for logistical purposes. Deadline: Friday 12th June.
Last minute change: Bruno Blanchet's talk has been moved to Friday afternoon. The colloquium will start at 10:00 am on Friday.
See the list of already registered participants.
The workshop will take place at École normale supérieure de Cachan in Salle Condorcet (building 1 on the map of the campus). See here for a map of the campus. How to reach the campus by metro is explained here.
AccomodationThere are literally hundreds of great hotels for your stay in Paris. However, the most convenient ones when it comes to reach the École Normale Supérieure de Cachan are located:
SponsorsThis event is financially supported by ENS Cachan, Inria Saclay Ile-de-France, CNRS, GdR-IM, the Cassting project, and the VIP ANR project using funds from the pôle de compétitivité Systematic.