| Date (YYYY-MM-DD) | Orateur/Animateur | Orateur/Institut | Titre |
|---|
| 2006-10-05 | Igor Walukiewicz | LaBRI, Bordeaux, France | Réunion de rentrée du thème Modélisation Vérification |
| 2006-10-12 | Blaise Genest | IRISA, Rennes, France | On Zielonka's Theorem and its Application to Verification |
| 2006-10-19 | Morgan Magnin | IRCCYN, Nantes, France | Réseaux de Petri à Chronométre - temps dense ou temps discret ? |
| 2006-10-26 | Relâche, vacances de la Toussaint |
| 2006-11-02 | Relâche, vacances de la Toussaint |
| 2006-11-09 | Joel Ouaknine | Oxford University Computing Laboratory, Oxford, England | The Cost of Punctuality |
| 2006-11-16 | Philippe Darondeau | IRISA, Rennes, France | Implementations distribuees du controle superviseur a
la Ramadge et Wonham par synthese de reseaux de Petri |
| 2006-11-23 |
Free seminar session
|
| 2006-11-30 | The Quang Tran | LaBRI, Bordeaux, France | Unfolding Concurrent Well-Structured Transition Systems |
| 2006-12-07 | Anca Muscholl | LaBRI, Bordeaux, France | Logics and automata with infinite alphabets |
| 2006-12-14 | Antoine Miné | LIENS, Paris, France |
L'analyseur statique Astrée |
| 2006-12-21 |
Free seminar session
|
| 2006-12-28 | Relâche, vacances de Noel |
| 2007-01-04 | Relâche, vacances de Noel |
| 2007-01-11 | Laure Gonnord | VERIMAG, Grenoble, France | Combining Widening and Acceleration in Linear Relation
Analysis |
| 2007-01-18 | Kaninda Musumbu | LaBRI, Bordeaux, France | Graf and Saïdi97'algorithm : Construction of abstract state graph Revisited |
| 2007-01-25 | Julien Bertrane | LIENS, Paris, France | Certification de la résistance des réseaux de programmes
synchrones aux erreurs matérielles |
| 2007-02-01 | Nicolas Markey | LSV, Cachan, France | Verification of (One-clock) Priced Timed Automata |
| 2007-02-08 |
Free seminar session
|
| 2007-02-15 | Radu Iosif | VERIMAG, Grenoble, France | Flat Parametric Counter Automata |
| 2007-02-22 | Relâche, vacances de Février |
| 2007-03-01 | Relâche, vacances de Février |
| 2007-03-08 | Pierre-Alain Reynier | LSV, Cachan, France | Dépliages temporisés de réseaux d'automates temporisés |
| 2007-03-15 | Axel Legay | Institut Montefiore, Liege, Belgique | Sociable Interfaces: Theory, Implementation, and Future |
| 2007-03-22 | Nathalie Bertrand | Université de Dresden, Allemagne | Vérification des Lossy Channel Systems probabilistes et
non-déterministes. |
| 2007-03-29 | ETAPS 2007 |
| 2007-04-05 | Fabrice Chevalier | LSV, Cachan, France | Décidabilité et contrôle de logiques temps-réel |
| 2007-04-12 | Relâche, vacances de Paques |
| 2007-04-19 | Relâche, vacances de Paques |
| 2007-04-26 | Frédéric Herbreteau | LaBRI, Bordeaux, France | Hybrid Acceleration |
| 2007-05-03 | Journées SPACIFY à Bordeaux |
| 2007-05-10 |
Free seminar session
|
| 2007-05-17 | Relâche, jeudi de l'Ascension |
| 2007-05-24 |
Free seminar session
|
| 2007-05-31 | Felix Klaedtke | ETH-Zentrum, Zurich, Switzerland | Don't Care Words with an Application to the Automata-based Approach for Real Addition |
| 2007-06-07 | Patrick Chervet | LaBRI, Bordeaux, France | Minimizing variants of visibly pushdown automata |
| 2007-06-14 |
Free seminar session
|
| 2007-06-21 | Nicolas Caniart | LaBRI, Bordeaux, France | Accélération de l'algorithme Cegar |
| 2007-06-26 | Stéphane Demri | LSV, Cachan, France | Logiques pour la Spécification et Vérification |
| 2007-06-28 | Thomas Brihaye | LSV, Cachan, France | A probabilistic semantic for timed automata |