Réunion du 15 mars 2004

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

ACI PERSEE

lundi 15 mars 2004

Paris (Chevaleret)

****************************
=== Matin : Salle 0C2 ===
09h45: Accueil

10h00: L'abstraction de systèmes paramétrés distribués : problèmes rencontrés (P. Habermehl)
10h30: Approche probabiliste pour la vivacité dans les lossy channel systems (Ph. Schnoebelen)
11h00: Une structure de données partagée pour manipuler les automates (J.-M. Couvreur)

12h00: Déjeuner Chevaleret

=== Après-midi : Salle Verdier 5C ===

13h30: Vérification par abstraction : état de l'art et quelques perspectives (G. Sutre)
14h30: Bounded model-checking des systèmes temporisés (E. Asarin)

15h00: Vérification symbolique de programmes manipulant des pointeurs (D. Nowak)

15h30: *** Pause café ***

16h00: Discussion & Planification

17h30: *** Fin de la journée ***

Valid HTML 4.01! Valid CSS!