Groupe de travail

Modélisation et Vérification

Calendrier 2007-2008

Date (YYYY-MM-DD)Orateur/AnimateurOrateur/InstitutTitre
2007-09-27Igor WalukiewiczLaBRI, Bordeaux, FranceA lower bound on web-services composition
2007-10-04DOCFLOW au Labri les 4 et 5 novembre 2007
2007-10-11Holger HermannsSaarland University (Saarbruecken, Germany)The quest for quantifiable quality
2007-10-18 Free seminar session
2007-10-25Florian HornLIAFA, ParisDes Fruits Aléatoires sur l'Arbre de Zielonka
2007-11-01Fête de la Toussaint et Vacances de la Toussaint (samedi 27 octobre 2007 au jeudi 8 novembre 2007)
2007-11-08Vacances de la Toussaint (samedi 27 octobre 2007 au jeudi 8 novembre 2007)
2007-11-15DOTS et AVERISS au Labri les 15 et 16 novembre 2007
2007-11-22 Free seminar session
2007-11-29Thomas GazagnaireIRISA, Rennes, France_HMSC Causaux_
2007-12-06 Free seminar session
2007-12-13Jean-Louis BoulangerUT Compiègne, FranceV and V dans le cadre des systèmes certifiables
2007-12-20 Free seminar session
2007-12-27Vacances de Noël (samedi 22 décembre 2007 au dimanche 6 janvier 2008)
2008-01-03Vacances de Noël (samedi 22 décembre 2007 au dimanche 6 janvier 2008)
2008-01-10 Free seminar session
2008-01-17Fares ChucriLaBRI, Bordeaux, FranceCEGAR Model-Checking pour AltaRica
2008-01-24Bernard BoigelotInstitut Montefiore, Liege, BelgiqueA 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-07Andrey RybalchenkoMax Planck Institute for Software Systems, Saarbrücken, Germanypath invariants
2008-02-14Hugo GimbertLaBRI, Bordeaux, FranceJeux avec observation partielle
2008-02-21STACS 2008 (du jeudi 21 fevrier au samedi 23 fevrier)
2008-02-28Vacances de Février (samedi 23 février 2008 au dimanche 9 mars 2008)
2008-03-06Helmut SeidlInstitut für Informatik (Garching Germany)On the Relationship between Interval Analysis and Mean Payoff Games
2008-03-13Patricia BouyerLSV, Cachan, FranceProbabilities in Timed Automata
2008-03-20Nicolas CaniartLaBRI, Bordeaux, FranceAccelerating Interpolant-based Model-checking
2008-03-27Grégoire SutreLaBRI, Bordeaux, FranceAccelerated Data-flow Analysis
2008-04-03ETAPS08
2008-04-10Tristan Le GallIRISA, Rennes, FranceTreillis abstraits et alphabets infinis
2008-04-17Delphine LonguetCentrum voor Wiskunde en Informatica (Netherlands)Test de systèmes dynamiques à partir de spécifications modales
2008-04-24Vacances de Paques (samedi 19 avril 2008 au dimanche 5 mai 2008
2008-05-01Fête du travail, Jeudi de l'Ascension, et vacances de Paques (samedi 19 avril 2008 au dimanche 5 mai 2008
2008-05-08Victoire de 1945
2008-05-15Commission de Specialiste
2008-05-22Nathalie BertrandIRISA, Rennes, FranceOn decision problems for Probabilistic Büchi Automata
2008-05-29GdT Jeux et CMF
2008-06-05 Free seminar session
2008-06-12Jean-Francois RaskinULB, Brussels, BelgiumFixpoint-based Abstraction Refinement and an Application to the converability problem for Petri Nets
2008-06-19 Free seminar session
2008-06-26MOVEP 2008