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 |