11:00
12:00
13:00
14:00
15:00
16:00
17:00
18:00
11:30 - 12:45 (1h15)
Déjeuner
Hall
12:45 - 13:00 (15min)
Accueil
Amphi 500
13:00 - 14:00 (1h)
Keynote - Sandrine Blazy
Amphi 500
›14:00 (45min)
14:00 - 14:45 (45min)
Prix de thèse
14:45 - 15:15 (30min)
Pause café
Hall
›15:15 (45min)
15:15 - 16:00 (45min)
Plénière - José Lopes Esteves
16:00 - 16:45 (45min)
Plénière - Stéphanie Delaune
Amphi 500
› Formal verification of security protocols: the Squirrel prover
- Stéphanie Delaune, Institut de Recherche en Informatique et Systèmes Aléatoires
16:00-16:45 (45min)
16:45 - 17:00 (15min)
Mini pause
Hall
17:00 - 18:30 (1h30)
Assemblée générale
Amphi 500
