| Date | Intervenant | Titre |
|---|---|---|
| 4 octobre 2001 | André Arnold | Réunion de rentrée. |
| 11 octobre 2001 | Grégoire Sutre | Vérification par abstraction paresseuse. |
| 18 octobre 2001 | André Arnold | Synthèse de contrôleurs des systèmes à événements discrets.
I. La théorie de Ramadge et Wonham. |
| 25 octobre 2001 | Aymeric Vincent | Synthèse de contrôleurs et stratégies gagnantes dans les jeux de parité. |
| 1 novembre 2001 | Férié | |
| 8 novembre 2001 | Alain Griffault | Première "vraie" expérience d'utilisation du modèle AltaRica et de ses outils dans un contexte industriel. |
| 15 novembre 2001 | Patrick Félix | CALIFE et test. |
| 22 novembre 2001 | Kaninda Musumbu | Alose (avec ses arêtes). |
| 29 novembre 2001 | Bertrand Tavernier | Plate-forme Calife : Utilisation d'XML pour un modèle commun. |
| 6 décembre 2001 | Frédéric Herbreteau | Automates à file réactifs embarqués. |
| 13 décembre 2001 | André Arnold | Synthèse de contrôleurs (suite). |
| 20 décembre 2001 | Eugène Asarin | Bruit et décidabilité dans les systèmes hybrides. |
| 27 décembre 2001 | Vacances | |
| 3 janvier 2002 | Vacances | |
| 10 janvier 2002 | Claude Jard | Principes pour synthétiser des cas de test répartis en utilisant un modèle de "true-concurrency". |
| 17 janvier 2002 | Franck Cassez | A Comparison of Control Problems for Timed and Hybrid Systems. |
| 24 janvier 2002 | André Arnold | Synthèse de contrôleurs (suite). |
| 31 janvier 2002 | Vlad Rusu | Vérification et test symboliques. |
| 7 février 2002 | Alain Finkel | Accélérer permet de terminer ! |
| 14 février 2002 | Jean-Michel Couvreur | Sur les dépliages de réseaux de Petri. |
| 21 février 2002 | Jean-Michel Couvreur | Sur les dépliages de réseaux de Petri (suite). |
| 28 février 2002 | Vacances | |
| 7 mars 2002 | Relâche | |
| 14 mars 2002 | Ahmed Bouajjani | TReX: A Tool for Reachability Analysis of Complex Systems. |
| 21 mars 2002 | Giacomo Lenzi | The D'Agostino-Hollenberg uniform interpolation theorem for the mu calculus. |
| 28 mars 2002 | Relâche | |
| 4 avril 2002 | Bernard Boigelot | On the Use of Weak Automata for Deciding Linear Arithmetic with Integer and Real Variables. |
| 11 avril 2002 | Michaël Adélaïde | Analyse paramétrique des systèmes hybrides. |
| 18 avril 2002 | Jean-Claude Royer | Type Abstrait Graphique. |
| 25 avril 2002 | Vacances | |
| 2 mai 2002 | André Arnold | Synthèse de contrôleurs (suite). |
| 9 mai 2002 | Férié | |
| 16 mai 2002 | Sardaouna Hamadou | ASET : Un protocole anonyme et sécuritaire pour les transactions électroniques. |
| 23 mai 2002 | Luigi Santocanale | Induction, co-induction, et jeux de parité. |
| 30 mai 2002 | Alain Griffault | AltaRica : syntaxe et sémantique. |
| 6 juin 2002 | Alain Griffault | AltaRica : modèles de conception et perspectives. |
| 13 juin 2002 | ||
| 20 juin 2002 | Relâche (MOVEP 2002) | |
| 27 juin 2002 | Relâche | |