Colloquium in honour of Martin Abadi

June 25-26, 2015

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.

Photos are available here.


Thursday, June 25, 2015
9:30 Welcome
10:00Tom Henzinger: From Checking Program Correctness to Measuring Program Fitness
11:00Kim Larsen: Composition of Real Time Specifications Revisited
12:00 Lunch break
14:00Gérard Berry: Determinism, Electricity, and Intuitionism
15:00Véronique Cortier: Analysing privacy protocols
16:00 Coffee break
16:30Cédric Fournet: Versatile Verifiable Computations

Last minute change: Bruno Blanchet's talk has been moved to Friday afternoon. The colloquium will start at 10:00 am on Friday.

Friday, June 26, 2015
10:00Victor Vianu: Analysis of Data-Centric Workflows
11:00 Coffee break
11:30Leslie Lamport: What Should Math Have to do with Building Complex Distributed Systems?
12:30 Lunch break
14:00Wolfgang Thomas: Finite Automata and the Infinite - A Historical Perspective
15:00Bruno Blanchet: Proving observational equivalence with ProVerif
16:00 Coffee break
16:30 Doctor Honoris Causa ceremony (amphi Curie)


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.


There 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:
  • On the RER B train line, near train stops Luxembourg or St-Michel (both in Latin Quarter), Denfert-Rochereau (close to Montparnasse), or Gare du Nord (train station connected to Aachen, Brussels and London).
  • At Porte d'Orléans where the direct bus lines number 187 (direction Fresnes-Charcot-Zola) or number 197 (direction Massy-Opera Theatre) take you to Cachan/Bagneux.


This 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.

About LSV