Workshop on the
15th Anniversary of LSV
and
Celebration of the
CNRS Silver Medal
awarded to
Jean Goubault-Larrecq
February 6–7, 2012 — Cachan
New: photos
They are
there!
New: slides available
See in the program.
Program
Monday, February 6th
- 9h30-10h
- Welcome coffee
- 10h-10h15
- Opening by Pierre-Paul Zalio (Vice-president in charge of
research at ENS Cachan)
- 10h15-12h15 (chair: Nicolas Markey)
- 12h15-14h
- Lunch
- 14h-16h (chair: Philippe Schnoebelen)
- Dominique Bolignano (Prove & Run)
OS security and formal proof : the Prove&Run approach
(abstract)
- Éric Goubault (CEA-LIST)
Geometry of trace spaces and (some) applications
(abstract, slides, film)
- 16h-17h30 (chair: Philippe Schnoebelen)
- 20h
- Dinner in restaurant La Coupole in Paris
Tuesday, February 7th
- 9h30-10h
- Welcome coffee
- 10h-12h (chair: Serge Abiteboul)
- Javier Esparza (Technische Universität München)
Solving fixed-point equations on semirings
(slides)
- Georg Gottlob (University of Oxford)
Structural decomposition methods, and what they are good for
(abstract)
- 12h-14h
- Lunch
- 14h-16h (chair: Steve Kremer)
Registration
Registration is now closed.
You can view the list of participants.
Venue
The workshop will take place at École normale supérieure de Cachan, in the room Condorcet, on the first floor of the d'Alembert building. To get to the Condorcet room, climb up the horseshoe entrance, walk up one floor and turn right.
Read general access information to the ENS - Cachan here.
Organization
The organization committee consists of
Émilien Antoine,
Sandie Balaguer,
Thomas Chatain,
Laurent Fribourg, and
Virginie Guenard.
