Journées de VERIFICATION FORMELLE
Programme prévisionnel



RESUMES des Exposés prévus
Liste des Participants
Jeudi 8 juin 2000

  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


Vendredi 9 juin 2000

  9h00
  9h30
Accueil au LIFO
  9h30
10h30
VARDI - "From Verification to Synthesis".
10h30
10h50
Pause
10h50
     à   
12h30
PETIT - "Updatable timed automata".
TALBOT - "Set Constraints and Set-based Analysis".
MASSON - "Caractérisation par automtes de Büchi d'une
classe de propriétés LTL vérifiables modulairement
".
12h40
14h00
Déjeuner Restau du Lac (Campus)
14h00 Fin de la rencontre

mailto..
Vers la page d'appel à participation