10 Years of Verification in Cachan
November 26–27, 2007 — Cachan

The Laboratoire Spécification & Vérification (LSV) is organizing a two-day workshop to celebrate its 10th anniversary. The workshop will be centered around two special awards ceremonies: Patricia Bouyer receiving CNRS's 2007 Bronze Medal for Computer Science (Monday 26th), and Kim G. Larsen becoming Doctor Honoris Causa at ENS Cachan (Tuesday 27th).

The event is open to the public and free, but registration is required for logistical purposes (please register before Nov. 16th). Participation in the workshop dinner is open, albeit at your own expense (around 35 euros).


Monday, November 26, 2007
09:30 Session 1 Opening and welcome speeches
09:45 André Arnold (Bordeaux, F): L'aventure de la vérification: un témoignage
10:35 Coffee break
10:55 Session 2 Pierre Wolper (Liège, B): 25 years of automata and verification
11:45 Kim G. Larsen (Aalborg, DK) Verification, optimization and synthesis for timed systems: from theory to tools
12:35 Lunch
14:00 Session 3 Claude Kirchner (Nancy, F): Security challenges for computer systems
14:50 Marta Kwiatkowska (Oxford, UK): Verification for probabilistic systems: perspectives and challenges
15:40 Break
16:00 Official Ceremony: CNRS Bronze Medal awarded to Patricia Bouyer
Location: Pavillon des Jardins
20:30 Workshop dinner in Le Train Bleu, Place Louis Armand in Paris 12e.

Tuesday, November 27, 2007
09:30 Session 4 Michel Bidoit (Cachan, F): The secret history of LSV
09:50 Patricia Bouyer (Cachan, F): On the reduction of energy consumption
10:40 Coffee break
11:00 Session 5 Anna Ingólfsdóttir (Reykjavík, IS): Recursive Hennessy-Milner logic and characteristic formulae
11:50 Wolfgang Thomas (Aachen, D): Church's synthesis problem after 50 years
12:40 Lunch
14:00 Session 6 Colin Stirling (Edinburgh, UK): Higher-order matching, games and automata
14:50 Luca Aceto (Reykjavík, IS): Impossibility Results in the Equational Logic of Processes
15:40 Break
16:00 Official Ceremony: Kim G. Larsen becomes Dr Honoris Causa
Location: bâtiment d'Alembert, amphi Marie Curie


Please use the following link. A confirmation by e-mail will be sent to you. Please register before Nov. 16th. See the list of already registered participants.


The workshop will take place in the Salle Condorcet, in the Bâtiment d'Alembert of the École normale supérieure de Cachan.

See here for a map of the campus, where Bâtiment d'Alembert is building number 1.
How to reach the campus by metro is explained here.

Hotel list

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 a direct bus line (number 197) takes you every five minutes to Bagneux/Cachan.
A list of some hotels can be found on the ENS de Cachan web site.


The organization committee consists of Philippe Schnoebelen (general), Geneviève Quéau (registration), Thomas Chatain, and Stéphanie Delaune.

About LSV