=================================================
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