8h45 9h45 |
Accueil au LIFO |
10h00 11h00 |
VARDI -
"Common Knowledge: Now You Have It, Now You Don't".
|
11h00 11h15 |
Pause |
11h15 11h45 |
Exposé 1 : Véronique CORTIER
`Security properties: Two Agents are Sufficient''
|
11h45 12h15 |
Exposé 2 : Rachid ECHAHED
``Timed Rewrite Systems''
|
12h30 13h45 |
Déjeuner au Campus - Restaurant du Lac |
14h00 14h30 |
Exposé 3 : François LAROUSSINIE
``On Model checking durational Kripke structures''
|
14h30 15h00 |
Exposé 4 : Mathieu TURUANI
``CASRUL: A Constraint Solver for Detecting Protocol Insecurity''
|
15h00 15h30 |
Exposé 5 : Jean-Marc TALBOT
``Model-checking Mobile Ambients''
|
15h30 15h45 |
Pause |
15h45 16h15 |
Exposé 6 : Jean-François MONIN
``Invariants inductifs dans un système temporisé''
|
16h15 16h45 |
Exposé 7 : Daniel SINGER
``Elements for a Reconfigurable theory for Sat-Based Formal
Methods'' |
16h45 17h15 |
Exposé 8 : Mathieu BERGERON
``SOCLE: Achieving Security using OCL Extensions''
|
17h30 18h45 |
Pot - Cocktail |