Lundi 3 décembre 2012
Bonne lecture !
Lundi 3 | ||
---|---|---|
14h00-15h00 | Salle 178 | GT Algorithmique Distribuée : Cyril Gavoille (LaBRI) Progress and Challenges for Labeling Schemes |
Jeudi 6 | ||
10h15-11h15 | Salle Patio Haut-carré, Bat C4 | GT Modélisation et Vérification : Javier Esparza (TUM, Allemagne) A perfect model for bounded verification |
11h15-12h15 | Salle Patio Haut-carré, Bat C4 | GT Modélisation et Vérification : Jean-Francois Raskin (ULB, Belgique) Multi-dimension Quantitative Games: Complexity and Strategy Synthesis |
11h30-12h30 | Salle 076 | GT BioInformatique et Visualisation : Gabriel Valiente (UPC, Espagne) TBD |
14h00-15h30 | Salle Patio Haut-carré, Bat C4 | Soutenance d'HDR de Jérôme Leroux (LaBRI) Presburger Counter Machines |
16h30-17h30 | Salle 178 | Séminaire LaBRI : Aristotelis Chatziioannou (Institute of Biology, Medicinal Chemistry & Biotechnology, NHRF, Grèce) Promoting systems biology research through intelligent information mining of omic datasets |
Vendredi 7 | ||
10h45-11h45 | Salle 178 | Petite École de Combinatoire : Valentin Féray (LaBRI) Approche duale des représentations du groupe symétrique (8) |
13h00-14h00 | Salle Ada Lovelace, bât. Inria, étage 3 | Unithé ou Café : Jean-Marc Couveignes (équipe Lfant) Vous trouvez ça complexe ? Tant mieux ! |