Date (YYYY-MM-DD) | Orateur/Animateur | Orateur/Institut | Titre |
---|
2008-09-18 | (1) Jean-Christophe Filliâtre et (2) Sylvain Conchon | LRI, 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-25 | Jérôme Leroux | LaBRI, Bordeaux, France | An Easy Algorithm For The General Vector Addition System Reachability Problem |
2008-10-02 |
Free seminar session
|
2008-10-09 | Hélène Kirchner | INRIA Bordeaux - Sud-Ouest | A rewrite-based approach for security policies |
2008-10-16 | Serge Haddad | LSV, Cachan, France | Logiques pour le model checking des chaînes de Markov à temps continu |
2008-10-23 | Fete du LaBRI |
2008-10-30 | Vacances de Toussaint (du samedi 25 octobre au jeudi 6 novembre 2008) |
2008-11-06 | Blaise Genest | IRISA, Rennes, France | Quasi-Static Scheduling of Communicating Tasks |
2008-11-13 | Arnaud Sangnier | LSV, ENS-Cachan | Reversal-Bounded Counter Machines Revisited |
2008-11-20 | Xavier ALLAMIGEON | EADS | Inferring Min and Max Invariants Using Max-plus Polyhedra |
2008-11-27 | Tayssir Touili | LIAFA, Paris | On the Reachability Analysis of Acyclic Networks of Pushdown Systems |
2008-12-04 | Ahmed Bouajjani | LIAFA, Paris | Analyzing Asynchronous Programs with Preemption |
2008-12-11 | Pawel Parys | Warsaw University, Poland | XPath evaluation in linear time |
2008-12-18 | Alexander Heussner | LaBRI, Bordeaux, France | CEGAR for Communicating Fifo Systems |
2008-12-25 | Vacances de Noël (du samedi 20 décembre 2008 au lundi 5 janvier 2009) |
2008-01-01 | Vacances de Noël (du samedi 20 décembre 2008 au lundi 5 janvier 2009) |
2009-01-08 | Pierre Cyril Heam | LIFC, Université de Franche0Compté | Génération Automatique d'Approximations Régulières |
2009-01-15 |
Free seminar session
|
2009-01-23 | Mikolaj Bojanczyk | Institute of Informatics, Warsaw University | Max-regular languages |
2009-01-29 | ANR Spacify 29 et 30 janvier 2009 |
2009-02-05 |
Free seminar session
|
2009-02-12 | Omer NGUENA | LaBRI, Bordeaux, France | Spécification et Contrôle des Systèmes temps-réel faibles |
2009-02-19 | Vacances d'hiver (du samedi 14 février au lundi 2 mars 2009 |
2009-02-26 | Vacances d'hiver (du samedi 14 février au lundi 2 mars 2009 |
2009-03-05 | Stéphane Demri | LSV, Cachan, France | Modal Logics with Presburger constraints |
2009-03-12 | Paul Gastin | LSV, Cachan, France | How to get decidability of distributed synthesis ? |
2009-03-19 | Alain Griffault | LaBRI, Bordeaux, France | AltaRica : passé, présent et futur. |
2009-03-26 | ETAPS 2009 (du dimanche 22 mars au dimanche 29 mars) |
2009-04-02 | David Teller-Rajchenbach | université d'Orléans | Extrapol, des systèmes de types dépendants à la sécurité système |
2009-04-09 |
Free seminar session
|
2009-04-16 | Vacances de Printemps (du samedi 11 avril au lundi 27 avril) |
2009-04-23 | Sylvain Sené | LIRIS, Villeurbanne | Robustesse environnementale dans les réseaux d'automates à seuil : théorie et application en biologie. |
2009-04-30 | Stéphane Gaubert | INRIA and CMAP, Ecole Polytechnique | Algorithmes de théorie des jeux en analyse statique de programme |
2009-05-07 | Alain Finkel | LSV, Cachan, France | Well Structured Transition Systems everywhere and everytime ! |
2009-05-14 | Pierre Ganty | UCLA, Los Angeles, California | What's decidable for Asynchronous Programs ? |
2009-05-21 |
Free seminar session
|
2009-05-28 | Nathalie Bertrand | IRISA, Rennes, France | When are Timed Automata Determinizable? |
2009-06-04 | André Arnold | | Contrôleurs non déterministes de processus non déterministes |
2009-06-11 | Journees en l'honneur de Robert Cori (10,11 et 12 juin 2009) |
2009-06-18 | Denis Lugiez | LIFM, Marseille | Edition Collaborative d'arbres XML |
2009-06-25 |
Free seminar session
|