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:
receiving CNRS's 2007 Bronze Medal for Computer Science (Monday 26th),
Kim G. Larsen becoming
Doctor Honoris Causa at ENS Cachan (Tuesday 27th).
The event is open to the public and free, but
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
||Opening and welcome speeches|
(Bordeaux, F): L'aventure de la vérification: un témoignage|
(Liège, B): 25 years of automata and verification|
||Kim G. Larsen (Aalborg, DK) Verification, optimization and synthesis for timed systems: from theory to tools |
Kirchner (Nancy, F): Security challenges for computer systems |
|| Marta Kwiatkowska (Oxford, UK): Verification for probabilistic systems: perspectives and challenges |
||Official Ceremony: CNRS Bronze Medal awarded to Patricia Bouyer|
Location: Pavillon des Jardins
||Workshop dinner in Le Train Bleu, Place Louis Armand in Paris 12e. |
Tuesday, November 27, 2007
||Michel Bidoit (Cachan, F): The secret history of LSV |
(Cachan, F): On the reduction of energy consumption|
|| Anna Ingólfsdóttir (Reykjavík, IS): Recursive Hennessy-Milner logic and characteristic formulae|
|| Wolfgang Thomas (Aachen, D): Church's synthesis problem after 50 years |
|| Colin Stirling (Edinburgh, UK): Higher-order matching, games and automata|
|| Luca Aceto (Reykjavík, IS):
Impossibility Results in the Equational Logic of Processes|
||Official Ceremony: Kim G. Larsen becomes Dr Honoris Causa|
Location: bâtiment d'Alembert, amphi Marie Curie
Please use the following
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.
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:
A list of some hotels can be found
on the ENS de Cachan web site.
- On the RER B train line, near train stops Luxembourg or
St-Michel (both in Latin Quarter), Denfert-Rochereau (close to
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.
The organization committee consists of
Philippe Schnoebelen (general),
Geneviève Quéau (registration),
Thomas Chatain, and