|
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).
Programme
|
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.
Location
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.
Organization
The organization committee consists of
Philippe Schnoebelen (general),
Geneviève Quéau (registration),
Thomas Chatain, and
Stéphanie Delaune.
|
