Réunions des 7 et 8 juin 2004

=================================================
Journées ACI Persée: lundi 7 et mardi 8 juin 2004
=================================================

lieu: ENS Cachan, Batiment Cournot, Salle C325, 3eme étage (sauf le séminaire de J.E. Pin).


Lundi 7 juin
============

10h25: Ouverture

10h30-11h: Discussion plenière.

11h-11h30: Eugène Asarin: Bounded Model Checking pour les automates temporisés

11h30-11h45: Discussion

11h45-12h15: Sébastien Bardin: Composition d'accélérations et de représentations symboliques

12h15-12h30: Discussion

12h30-14h: Déjeuner

14h-14h30: Michaël Adélaïde: Modélisation de réseaux de régulation génétique

14h30-14h45: Discussion

14h45-15h15: Ahmed Bouajjani: Liveness and regular Model Checking

15h15-15h30: discussion

15h30-16h: pause-café

16h-16h30: Peter Habermehl: Abstract regular Model Checking

16h30-16h45: Discussion

16h45-17h15: Kaninda Musumbu: TAV

17h15-17h30: Discussion

17h30-18h: Christophe Darlot: Les accélérations de Fast et de Trex

18h-18h15: Discussion et fin


Mardi 8 juin
============

9h30-11h: discussion en 3 groupes
- Groupe 1: Abstraction
- Groupe 2: Structures de données efficaces et programmation d'un outil
- Groupe 3: Composition de représentations et d'accélerations

11h: Séminaire du LSV "Sur une conjecture de Schnoebelen", Jean-Eric Pin, Salle de Conférence - Pavillon des Jardins

12h30-14h: déjeuner

14h: Synthèse des discussions des 3 groupes

14h-14h15: Groupe 1: Abstraction
14h15-14h30: Groupe 2: Structures de données efficaces (a la BDD) et programmation d'un outil
14h30-14h45: Groupe 3: Composition de représentations et d'accélerations

14h45-15h15: discussion

15h15-16h15: Construction du plan de travail des 3 groupes pour 2004-05. Explicitation de la collaboration.

16h15-16h30: Conclusions

16h30: fin


Valid HTML 4.01! Valid CSS!