LaBRI-Hebdo 345

Lundi 3 décembre 2012

Bonne lecture !

Actualités locales

  • Bienvenue. Le LaBRI souhaite la bienvenue à Dimitar Kostov, qui a rejoint l'équipe ménage du LaBRI, sous la responsabilité de Martine Lalaude.

Actualités des institutions

  • CNRS
    • Sites CoNRS. Les sections 06 et 07 du Comité National de la Recherche Scientifique ont ouvert leurs sites : Section 06, Section 07.
    • Assises nationales de l'ESR. Le CNRS a recensé ses contributions aux Assises nationales de l'enseignement supérieur et de la recherche dans un document de synthèse. Une journée de restitution de ces contributions a été organisée le 22 novembre 2012 via la wiki radio du CNRS. Vous pouvez réécouter les émissions.
    • CNRS-Hebdo. La dernière lettre de la délégation régionale Aquitaine-Limousin est parue.

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

  • Concert. L'Orchestre Symphonique de Talence (OST) propose son programme d'hiver composé de musique russe (Tchaïkovski, Borodine, ...), le 6 décembre à la Médoquine, 21h.
  • Agenda culturel Bordeaux 1
    • Interactions art-sciences
      Du 26 Novembre au 20 Décembre 2012 - Entrée libre
      La Bulle, BU des sciences et des techniques, Bât. [B20], allée Baudrimont - Talence
      Inauguration le mardi 27 novembre à 18h30
Page mise à jour le 05/12/2012 à 17:41