Date (YYYY-MM-DD) | Orateur/Animateur | Orateur/Institut | Titre |
---|
2007-09-27 | Igor Walukiewicz | LaBRI, Bordeaux, France | A lower bound on web-services composition |
2007-10-04 | DOCFLOW au Labri les 4 et 5 novembre 2007 |
2007-10-11 | Holger Hermanns | Saarland University (Saarbruecken, Germany) | The quest for quantifiable quality |
2007-10-18 |
Free seminar session
|
2007-10-25 | Florian Horn | LIAFA, Paris | Des Fruits Aléatoires sur l'Arbre de Zielonka |
2007-11-01 | Fête de la Toussaint et Vacances de la Toussaint (samedi 27 octobre 2007 au jeudi 8 novembre 2007) |
2007-11-08 | Vacances de la Toussaint (samedi 27 octobre 2007 au jeudi 8 novembre 2007) |
2007-11-15 | DOTS et AVERISS au Labri les 15 et 16 novembre 2007 |
2007-11-22 |
Free seminar session
|
2007-11-29 | Thomas Gazagnaire | IRISA, Rennes, France | _HMSC Causaux_ |
2007-12-06 |
Free seminar session
|
2007-12-13 | Jean-Louis Boulanger | UT Compiègne, France | V and V dans le cadre des systèmes certifiables |
2007-12-20 |
Free seminar session
|
2007-12-27 | Vacances de Noël (samedi 22 décembre 2007 au dimanche 6 janvier 2008) |
2008-01-03 | Vacances de Noël (samedi 22 décembre 2007 au dimanche 6 janvier 2008) |
2008-01-10 |
Free seminar session
|
2008-01-17 | Fares Chucri | LaBRI, Bordeaux, France | CEGAR Model-Checking pour AltaRica |
2008-01-24 | Bernard Boigelot | Institut Montefiore, Liege, Belgique | A Generalization of Cobham's Theorem to Automata over Real Numbers |
2008-01-31 | Reunion DOTS AVERISS (du mercredi 30/02 et jeudi 31/02) |
2008-02-07 | Andrey Rybalchenko | Max Planck Institute for Software Systems, Saarbrücken, Germany | path invariants |
2008-02-14 | Hugo Gimbert | LaBRI, Bordeaux, France | Jeux avec observation partielle |
2008-02-21 | STACS 2008 (du jeudi 21 fevrier au samedi 23 fevrier) |
2008-02-28 | Vacances de Février (samedi 23 février 2008 au dimanche 9 mars 2008) |
2008-03-06 | Helmut Seidl | Institut für Informatik (Garching Germany) | On the Relationship between Interval Analysis and Mean Payoff Games |
2008-03-13 | Patricia Bouyer | LSV, Cachan, France | Probabilities in Timed Automata |
2008-03-20 | Nicolas Caniart | LaBRI, Bordeaux, France | Accelerating Interpolant-based Model-checking |
2008-03-27 | Grégoire Sutre | LaBRI, Bordeaux, France | Accelerated Data-flow Analysis |
2008-04-03 | ETAPS08 |
2008-04-10 | Tristan Le Gall | IRISA, Rennes, France | Treillis abstraits et alphabets infinis |
2008-04-17 | Delphine Longuet | Centrum voor Wiskunde en Informatica (Netherlands) | Test de systèmes dynamiques à partir de spécifications modales |
2008-04-24 | Vacances de Paques (samedi 19 avril 2008 au dimanche 5 mai 2008 |
2008-05-01 | Fête du travail, Jeudi de l'Ascension, et vacances de Paques (samedi 19 avril 2008 au dimanche 5 mai 2008 |
2008-05-08 | Victoire de 1945 |
2008-05-15 | Commission de Specialiste |
2008-05-22 | Nathalie Bertrand | IRISA, Rennes, France | On decision problems for Probabilistic Büchi Automata |
2008-05-29 | GdT Jeux et CMF |
2008-06-05 |
Free seminar session
|
2008-06-12 | Jean-Francois Raskin | ULB, Brussels, Belgium | Fixpoint-based Abstraction Refinement and an Application to the converability problem for Petri Nets |
2008-06-19 |
Free seminar session
|
2008-06-26 | MOVEP 2008 |