| Date | Intervenant | Titre |
| 26 septembre 2002 |
Davy Rouillard |
Application de techniques de preuve assistée,
pour la spécification, la vérification et le test. |
| 3 octobre 2002 |
|
Réunion de rentrée. |
| 10 octobre 2002 |
Catalin Dima |
Problèmes théoriques de spécification et de vérification
de systèmes temporisés. |
| 17 octobre 2002 |
André Arnold |
Synthèse de contrôleurs (suite et fin). |
| 24 octobre 2002 |
Claire Pagetti (IRCCyN) |
Une extension temporisée d'AltaRica. |
| 31 octobre 2002 |
Relâche |
| 7 novembre 2002 |
Alain Griffault |
Extension du langage AltaRica et compilation
vers Lustre. |
| 14 novembre 2002 |
Relâche (journée RTP SECC) |
| 21 novembre 2002 |
Anatol Slissenko (LACL) |
Un cadre logique pour la vérification des systèmes temps réel. |
| 28 novembre 2002 |
David J. Sherman |
Yeast Pheremone Signalling Pathways : an example of
protein-protein interactions in cascade. |
| 5 décembre 2002 |
Fabrice Kordon (LIP6) |
A préciser. |
| 12 décembre 2002 |
David J. Sherman |
Yeast Pheremone Signalling Pathways : an example of
protein-protein interactions in cascade. |
| 19 décembre 2002 |
Grégoire Sutre |
Temporal-Safety Proofs for Systems Code. |
| 26 décembre 2002 |
Vacances |
|
| 2 janvier 2003 |
Vacances |
| 9 janvier 2003 |
Alain Griffault |
Extension du langage AltaRica et compilation vers Lustre. |
| 16 janvier 2003 |
Relâche |
| 23 janvier 2003 |
Bernard Berthomieu |
Espaces d'états abstraits pour les Réseaux de Petri Temporels. |
| 30 janvier 2003 |
Frédéric Herbreteau |
Hybrid Acceleration using Real Vector Automata. |
| 6 février 2003 |
Grégoire Sutre |
Temporal-Safety Proofs for Systems Code. |
| 13 février 2003 |
Sabine Pérès |
CTL et les réseaux de régulation génétique : un exemple avec
multi-stationnarité. |
| 20 février 2003 |
Vacances |
| 27 février 2003 |
Tayssir Touili |
Reachability analysis of Process Rewrite Systems: Application
to the verification of multithreaded recursive programs. |
| 6 mars 2003 |
Pierre Courtieu |
Jakarta: un environnement de spécification et de preuve pour la
plate-forme JavaCard. |
| 13 mars 2003 |
Franck Pommereau |
Modèles composables et concurrents pour le temps-réel. |
| 20 mars 2003 |
Mirabelle Nebut |
Réactions synchrones, spécification et analyse. |
| 27 mars 2003 |
Richard Castanet |
Test de robustesse. |
| 3 avril 2003 |
Relâche |
| 10 avril 2003 |
Catalin Dima |
Discrétisation non archimédienne des langages temporisés. |
| 17 avril 2003 |
Vacances |
| 24 avril 2003 |
Stéphane Riedweg |
Logique temporelle et contrôle. |
| 1 mai 2003 |
Férié |
| 8 mai 2003 |
Férié |
| 15 mai 2003 |
Relâche (rencontre avec le LSV) |
| 22 mai 2003 |
Relâche |
| 29 mai 2003 |
Férié |
| 5 juin 2003 |
Erich Grädel |
Il était une fois dans l'ouest. Détermination, définissabilité
et complexité de jeux à itinéraires. |
| 12 juin 2003 |
Relâche |
| 19 juin 2003 |
Relâche |
| 26 juin 2003 |
Relâche |