LaBRI-Hebdo 253

Lundi 13 septembre 2010

Bonne lecture !

Actualités locales

  • Distinctions. Anca Muscholl est lauréate de la médaille d'argent du CNRS 2010.
  • BGW 2010. Le LaBRI organise les 18, 19 et 20 novembre prochains un colloque international, Bordeaux Graph Workshop 2010, en l'honneur de notre collègue André Raspaud. Les inscriptions (gratuites) doivent être réalisées avant le 17 octobre sur le site du colloque.

Actualités des institutions

  • CNRS
    • La dernière lettre de la délégation régionale Aquitaine-Limousin est parue. Avec notamment :
      • Fête de la science. Durant la Fête de la science, du 18 au 24 octobre 2010, la nouvelle édition du Circuit scientifique bordelais propose plus de 70 animations aux étudiants et élèves ainsi qu'un programme spécialement conçu pour les classes de CM1, CM2, 6ème et 5ème.
      • Formation Réponse à appels d'offres. Le pôle formation permanente de la Délégation CNRS organise une session intitulée Concevoir un projet pour répondre à un appel d'offres ANR ou autre. Destinée aux chefs de projet et agents contribuant (ou comptant contribuer) fortement à un projet de recherche ou à un projet technique (priorité aux agents CNRS), elle se déroulera les 4 et 5 octobre et les 18 et 19 octobre 2010 à la délégation. Il reste encore quelques places disponibles. Contact au LaBRI : Magali Hinnenberger. (NdlR : Formation très intéressante, profitez-en.)

Semainier (du 13 au 17 septembre)

Jeudi 16
9h30-10h45Salle 381GT Preuves formelles d'algorithmes distribués : Akka Zemmari (LaBRI)
Algorithmes distribués probabilistes
11h30-12h45Salle 076GT Modélisation et Vérification : Benedikt Bollig (LSV, Cachan)
Distributed Timed Automata with Independently Evolving Clocks
14h00-17h00Amphi LaBRISéminaire Mathematica 8
Vendredi 17
10h45-11h45Salle 076GT Combinatoire Énumérative : Pierre Nicodème (LIX)
Bounded discrete walks
14h00-15h00Salle 076GT Graphes et Applications : Pascal Ochem (LRI, Orsay)
Problèmes ouverts de coloration et NP-complétude
Page mise à jour le 17/09/2010 à 10:06