| Date | Orateur/Animateur | Titre |
|---|---|---|
| 30 septembre 2004 | André Arnold | Réunion de rentrée |
| 7 octobre 2004 | Alain Griffault | Sur l'extension d'AltaRica |
| 14 octobre 2004 | Jean-Michel Couvreur (LaBRI) |
Simple determinization of Büchi automata accepting weak w-languages |
| 21 octobre 2004 | Blaise Genest (University of Warwick) |
A Kleene-Büchi Theorem for a class of communicating automata with effective algorithms |
| 28 octobre 2004 | Shweta Gehlot (LaBRI) |
Verification of Systems with Data and Control Operations with Symbolic Simulation and Validity Checking |
| 4 novembre 2004 | Jean-Michel Couvreur | Sur une proposition de projet INRIA |
| 11 novembre 2004 | Férié | |
| 18 novembre 2004 | Sébastien Grivet (LaBRI) |
Dépliages efficaces de réseaux de Petri |
| 25 novembre 2004 | Relâche | |
| 2 décembre 2004 | Thao Dang (VERIMAG, Grenoble) |
The d/dt tool for verification of hybrid systems |
| 9 décembre 2004 | Kais Klai (LaBRI) |
Réseaux de Petri : vérification modulaire et symbolique |
| 16 décembre 2004 | Relâche (MOVEP'04) | |
| 23 décembre 2004 | Vacances | |
| 30 décembre 2004 | Vacances | |
| 6 janvier 2005 | Relâche | |
| 13 janvier 2005 | Relâche | |
| 20 janvier 2005 | Relâche | |
| 27 janvier 2005 | André Arnold (LaBRI) |
Présentation du logiciel Synthesis de Gérald Point |
| 3 février 2005 | Danièle Beauquier (LACL, Créteil) |
Décidabilité du model-checking de systèmes temps-réel probabilistes |
| 10 février 2005 | Relâche | |
| 17 février 2005 | Mikolaj Bojanczyk (LIAFA, Paris) |
Decidable characterisations of tree logics |
| 24 février 2005 | Vacances | |
| 3 mars 2005 | Relâche | |
| 10 mars 2005 | Relâche (JSI'05) | |
| 17 mars 2005 | The Quang Tran (LaBRI) |
Unfoldings of Well-Structured Transition Systems |
| 24 mars 2005 | Relâche | |
| 31 mars 2005 | Olivier Ly (LaBRI) |
Compositional Verification: Decidability Issues Using Graph Substitutions |
| 7 avril 2005 | Karen Godary (CITI, Lyon) |
Validation temporelle de TTA, architecture embarquée tolérante aux fautes pour l'automobile |
| 14 avril 2005 | Jérôme Leroux (IRISA, Rennes) |
De l'automate binaire à la formule de Presburger |
| 21 avril 2005 | Christophe Kehren (CERT-ONERA, Toulouse) |
Modèles d'architectures de sûreté (automates AltaRica de propriétés) |
| 28 avril 2005 | Relâche | |
| 5 mai 2005 | Férié | |
| 12 mai 2005 | Relâche | |
| 19 mai 2005 | Rémi Morin (LIF, Marseille) |
Raffinements au pays des MSC |
| 26 mai 2005 | Relâche (Réunion PERSÉE) | |
| 2 juin 2005 | Relâche | |
| 9 juin 2005 | François Laroussinie (LSV, Cachan) |
Model Checking Durational Probabilistic Systems |
| 16 juin 2005 | Relâche | |
| 23 juin 2005 | Hugo Gimbert (LIAFA, Paris) |
Équilibres de Nash stationnaires dans les jeux stochastiques à information parfaite |
| 30 juin 2005 | Relâche | |