Workshop on the
15th Anniversary of LSV and
Celebration of the
CNRS Silver Medal
awarded to
Jean Goubault-Larrecq

February 6–7, 2012 — Cachan

The Laboratoire Spécification & Vérification (LSV) is organizing a two-day workshop to celebrate Jean Goubault-Larrecq receiving the 2011 CNRS Silver Medal and LSV's 15th anniversary.

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

About LSV

Jean Goubault-Larrecq

Jean Goubault-Larrecq

LSV

Export in vCard format | Access information

LSV
Address
LSV, CNRS & ENS de Cachan
61, avenue du Président Wilson
94235 CACHAN Cedex, France

Access information