****************************
KICKOFF ACI PERSEE
lundi 24 novembre 2003
Paris (Chevaleret)
****************************
=== Matin: Salle 0D1 ===
10h00: Accueil
10h05: L'équipe « MVTsi » du LaBRI (G. Sutre)
10h15:
VeriFAST : architecture d'un model-checker accéléré générique (G. Sutre)
10h45: Pause café
11h00: Groupe de Travail MODÉLISATION ET VÉRIFICATION
« FASTer acceleration of counter automata in practice », (S. Bardin, LSV, Cachan)
12h30: Déjeuner à Chevaleret
=== Après-midi : Salle Verdier 5C ===
13h30: L'axe « INFINI » du LSV (A. Finkel et/ou Ph. Schnoebelen)
13h40:
L'outil FAST (J. Leroux)
14h10: L'équipe « Modélisation et Vérification » du LIAFA (A. Bouajjani)
14h20:
L'outil TREX (M. Sighireanu)
14h50: Abstractions et vérification des systèmes infinis (Ph. Schnoebelen)
15h15: Pause café
15h45: Discussions (tous)
- quelles actions de recherche à mener prioritairement ?
- quelles synergies exploiter ?
- questions administratives diverses