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 |