| Date | Orateur/Animateur | Titre | ||
|---|---|---|---|---|
| 29 septembre 2005 | Igor Walukiewicz | Réunion de rentrée | ||
| 6 octobre 2005 | Relâche | |||
| 13 octobre 2005 | Jérôme Leroux (LaBRI) | The convex hull of a Number Decision Diagram is a computable polyhedron | ||
| 20 octobre 2005 | Bernard Boigelot (Univ. Liège) | Generic Acceleration by Iterating Automata | ||
| 27 octobre 2005 | Vacances | |||
| 3 novembre 2005 | Marc Zeitoun (LaBRI) | Controller synthesis problem for distributed systems | ||
| 10 novembre 2005 | Antoine Rollet (LaBRI) | Du test de conformité au test de robustesse | ||
| 17 novembre 2005 | Emmanuel Fleury (LaBRI) | TiGa: Timed Games for Everyone! | ||
| 24 novembre 2005 | Relâche | |||
| 1 décembre 2005 | Gregor Goessler (INRIA Rhône-Alpes) | Component-based construction of reactive systems in Prometheus | ||
| 8 décembre 2005 | Ismaïl Berrada (LaBRI) | Modélisation, Analyse et Test des Systèmes Communicants à Contraintes Temporelles: Vers une Approche Ouverte du Test | ||
| 15 décembre 2005 | Relâche | |||
| 22 décembre 2005 | Vacances | |||
| 29 décembre 2005 | Vacances | |||
| 5 janvier 2006 | Guillaume Gardey (LaBRI) | Contribution à la vérification et au contrôle des systèmes temps réel -- Applications aux réseaux de Petri temporels et aux automates temporisés | ||
| 12 janvier 2006 | Relâche | |||
| 19 janvier 2006 | Thomas Brihaye (Univ. Mons-Hainaut) | Vérification d'automates hybrides o-minimaux | ||
| 26 janvier 2006 | Patricia Bouyer (LSV, Cachan) | Jeux temporisés optimaux | ||
| 2 février 2006 | David Janin (LaBRI) | Synthèse de programmes distribués dans les architectures synchrones zéro-délais | ||
| 9 février 2006 | Laurent Van Begin (LIAFA, Paris) | A Complete Abstract Interpretation Framework for Coverability Properties of WSTS | ||
| 16 février 2006 | Vacances | |||
| 23 février 2006 | Loïc Hélouët (IRISA, Rennes) | Jeux et scénarios pour la découverte de canaux cachés dans les systèmes distribués | ||
| 2 mars 2006 | Relâche | |||
| 9 mars 2006 | Jan Strejcek (LaBRI) | Extended Process Rewrite System: Expressiveness and Decidability | ||
| 16 mars 2006 | Jérôme Leroux (LaBRI, Bordeaux) | Regular Acceleration for Number Decision Diagrams | ||
| 23 mars 2006 | Guillaume Feuillade (IRISA, Rennes) | Spécification logique de réseaux de Petri | ||
| 30 mars 2006 | Jerome Feret (ENS, Paris) | Analyse des systemes mobiles par interpretation abstraite | ||
| 6 avril 2006 | Samy Abbes (LIAFA, Paris) | Concurrent Probabilistic Models | ||
| 13 avril 2006 | Nicolas Baudru (LIF, Marseille) | Unfolding Synthesis of Asynchronous Automata | ||
| 20 avril 2006 | Vacances | |||
| 27 avril 2006 | Hubert Garavel (INRIA Rhône-Alpes) | Validation d'architectures multiprocesseurs à l'aide les outils CADP | ||
| 4 mai 2006 | Hervé Marchand (IRISA, Rennes) | Motifs de surveillance pour diagnostic de systèmes à évènements discrets | ||
| 11 mai 2006 | Tayssir Touili (LIAFA, Paris) | Verifying Concurrent Message-Passing C Programs with Recursive Calls | ||
| 18 mai 2006 | Richard Mayr (North Carolina State University, USA) | Verification Methods for Infinite-State Probabilistic Systems | ||
| 25 mai 2006 | Férié | |||
| 1 juin 2006 | Relâche | |||
| 8 juin 2006 | Thierry Jeron (IRISA, Rennes) | Sélection de tests par analyse approchée | ||
| 15 juin 2006 | Relâche | |||
| 22 juin 2006 | Relâche (MOVEP'06) | |||