From LaBRI - Laboratoire Bordelais de Recherche en Informatique

Hebdo: Hebdo-345

LaBRI-Hebdo 345

Lundi 3 décembre 2012

Bonne lecture !

Actualités locales

Actualités des institutions

Semainier (du 3 au 10 décembre)

Lundi 3
14h00-15h00Salle 178GT Algorithmique Distribuée : Cyril Gavoille (LaBRI)
Progress and Challenges for Labeling Schemes
Jeudi 6
10h15-11h15Salle Patio
Haut-carré, Bat C4
GT Modélisation et Vérification : Javier Esparza (TUM, Allemagne)
A perfect model for bounded verification
11h15-12h15Salle 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-12h30Salle 076GT BioInformatique et Visualisation : Gabriel Valiente (UPC, Espagne)
TBD
14h00-15h30Salle Patio
Haut-carré, Bat C4
Soutenance d'HDR de Jérôme Leroux (LaBRI)
Presburger Counter Machines
16h30-17h30Salle 178Sé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-11h45Salle 178Petite École de Combinatoire : Valentin Féray (LaBRI)
Approche duale des représentations du groupe symétrique (8)
13h00-14h00Salle Ada Lovelace, bât. Inria, étage 3Unithé ou Café : Jean-Marc Couveignes (équipe Lfant)
Vous trouvez ça complexe ? Tant mieux !

Agenda

Récupéré sur http://www.labri.u-bordeaux.fr/index.php?n=Hebdo.Hebdo-345
Page mise à jour le 05/12/2012 à 17:41