Réunion du 24 novembre 2003

****************************

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

Valid HTML 4.01! Valid CSS!