| 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 | David Janin (LaBRI) |
Synthèse de programmes distribués dans les architectures synchrones zéro-délais | ||
| 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 | Hubert Garavel (INRIA Rhône-Alpes) |
Validation d'architectures multiprocesseurs à l'aide les outils CADP | ||
| 9 février 2006 | Laurent Van Begin (LIAFA, Paris) |
A préciser | ||
| 16 février 2006 | Vacances | |||
| 23 février 2006 | Loic Helouet (IRISA, Rennes) |
A préciser | ||
| 2 mars 2006 | Xavier Briand (LaBRI) |
A préciser | ||
| 9 mars 2006 | Jan Strejcek (LaBRI) |
Extended Process Rewrite System: Expressiveness and Decidability | ||
| 16 mars 2006 | ||||
| 23 mars 2006 | ||||
| 30 mars 2006 | ||||
| 6 avril 2006 | ||||
| 13 avril 2006 | ||||
| 20 avril 2006 | Vacances | |||
| 27 avril 2006 | ||||
| 4 mai 2006 | ||||
| 11 mai 2006 | ||||
| 18 mai 2006 | ||||
| 25 mai 2006 | Férié | |||
| 1 juin 2006 | ||||
| 8 juin 2006 | ||||
| 15 juin 2006 | ||||
| 22 juin 2006 | Relâche (MOVEP'06) | |||
| 29 juin 2006 | ||||
| 6 juillet 2006 | ||||