Réunion du 26 mai 2005

===========================================================================


Journée ACI PERSÉE


Jeudi 26 mai 2005

Salle 6A92, LIAFA, Paris


===========================================================================
9h30: Café

10h: Peter Habermehl (LIAFA) :
Abstract regular model checking: application for programs with pointers

11h: Pause

11h15: Alain Finkel (LSV) :
Flat Acceleration

12h15: Déjeuner

13h30: Frédéric Herbreteau (LaBRI) :
Le projet du groupe de travail intégration

14h10: Alain Griffault (LaBRI) :
AltaRica + types abstraits : le modèle de calcul pour PERSÉE

14h35: Pause

15h: Nathalie Bertrand (LSV) :
Une consition suffisante pour l'existence d'un attracteur dans les systèmes probabilistes infinis

15h40: Grégoire Sutre (LaBRI) :
Sur la platitude des automates à compteurs

16h30: Discussions

17h45: Conclusion

Valid HTML 4.01! Valid CSS!