9h30 10h00 |
Accueil au LIFO |
10h00 à   12h15
|
VARDI - "Automated Verification = Graphs, Automata, and Logic".
|
Pause |
FRIBOURG et al - "Proving convergence of self-stabilizing systems
using first-order rewriting and regular languages".
|
12h30 14h00 |
Déjeuner Restau du Lac (Campus) |
14h00 à   15h30 |
COUVREUR - "On-the-fly Verification of Linear Temporal Logic".
LUGIEZ, SCHNOEBELEN - "1st Order Transition Logics for PA processes".
RETY, SEIDL - "Weakly Regular Relations".
|
15h30 15h50 |
Pause |
15h50 à
  17h20 |
FILALI - "Expression de méthodes de validation.
Transformation en logique propositionnelle ou monadique".
MULLINS - "Spécification et vérification de la confidentialité,
en présence de déclassification d'information".
MONIN - "A Challenging Case Study from France Telecom R&D".
|
17h30 à
  18h30 |
DEBAT - "Quelle portée pratique pour les outils formels ? "
(Aperçu des questions
pouvant être abordées)
|
20h00 |
Diner en Ville |