Groupe de travail

Modélisation et Vérification

Calendrier 2008-2009

Date (YYYY-MM-DD)Orateur/AnimateurOrateur/InstitutTitre
2008-09-18(1) Jean-Christophe Filliâtre et (2) Sylvain ConchonLRI, Université Paris Sud, France(1) Utilisation de prouveurs SMT pour la preuve de programmes et (2) Vérification de propriétés de programmes avec Alt-Ergo
2008-09-25Jérôme LerouxLaBRI, Bordeaux, FranceAn Easy Algorithm For The General Vector Addition System Reachability Problem
2008-10-02 Free seminar session
2008-10-09Hélène KirchnerINRIA Bordeaux - Sud-OuestA rewrite-based approach for security policies
2008-10-16Serge HaddadLSV, Cachan, FranceLogiques pour le model checking des chaînes de Markov à temps continu
2008-10-23Fete du LaBRI
2008-10-30Vacances de Toussaint (du samedi 25 octobre au jeudi 6 novembre 2008)
2008-11-06Blaise GenestIRISA, Rennes, FranceQuasi-Static Scheduling of Communicating Tasks
2008-11-13Arnaud SangnierLSV, ENS-CachanReversal-Bounded Counter Machines Revisited
2008-11-20Xavier ALLAMIGEONEADSInferring Min and Max Invariants Using Max-plus Polyhedra
2008-11-27Tayssir TouiliLIAFA, ParisOn the Reachability Analysis of Acyclic Networks of Pushdown Systems
2008-12-04Ahmed BouajjaniLIAFA, ParisAnalyzing Asynchronous Programs with Preemption
2008-12-11Pawel ParysWarsaw University, PolandXPath evaluation in linear time
2008-12-18Alexander HeussnerLaBRI, Bordeaux, FranceCEGAR for Communicating Fifo Systems
2008-12-25Vacances de Noël (du samedi 20 décembre 2008 au lundi 5 janvier 2009)
2008-01-01Vacances de Noël (du samedi 20 décembre 2008 au lundi 5 janvier 2009)
2009-01-08Pierre Cyril HeamLIFC, Université de Franche0ComptéGénération Automatique d'Approximations Régulières
2009-01-15 Free seminar session
2009-01-23Mikolaj BojanczykInstitute of Informatics, Warsaw UniversityMax-regular languages
2009-01-29ANR Spacify 29 et 30 janvier 2009
2009-02-05 Free seminar session
2009-02-12Omer NGUENALaBRI, Bordeaux, FranceSpécification et Contrôle des Systèmes temps-réel faibles
2009-02-19Vacances d'hiver (du samedi 14 février au lundi 2 mars 2009
2009-02-26Vacances d'hiver (du samedi 14 février au lundi 2 mars 2009
2009-03-05Stéphane DemriLSV, Cachan, France Modal Logics with Presburger constraints
2009-03-12Paul GastinLSV, Cachan, FranceHow to get decidability of distributed synthesis ?
2009-03-19Alain GriffaultLaBRI, Bordeaux, FranceAltaRica : passé, présent et futur.
2009-03-26ETAPS 2009 (du dimanche 22 mars au dimanche 29 mars)
2009-04-02David Teller-Rajchenbachuniversité d'OrléansExtrapol, des systèmes de types dépendants à la sécurité système
2009-04-09 Free seminar session
2009-04-16Vacances de Printemps (du samedi 11 avril au lundi 27 avril)
2009-04-23Sylvain SenéLIRIS, VilleurbanneRobustesse environnementale dans les réseaux d'automates à seuil : théorie et application en biologie.
2009-04-30Stéphane GaubertINRIA and CMAP, Ecole PolytechniqueAlgorithmes de théorie des jeux en analyse statique de programme
2009-05-07Alain FinkelLSV, Cachan, FranceWell Structured Transition Systems everywhere and everytime !
2009-05-14Pierre GantyUCLA, Los Angeles, CaliforniaWhat's decidable for Asynchronous Programs ?
2009-05-21 Free seminar session
2009-05-28Nathalie BertrandIRISA, Rennes, FranceWhen are Timed Automata Determinizable?
2009-06-04André ArnoldContrôleurs non déterministes de processus non déterministes
2009-06-11Journees en l'honneur de Robert Cori (10,11 et 12 juin 2009)
2009-06-18Denis LugiezLIFM, MarseilleEdition Collaborative d'arbres XML
2009-06-25 Free seminar session