From LaBRI - Laboratoire Bordelais de Recherche en Informatique

Hebdo: Hebdo-253

LaBRI-Hebdo 253

Lundi 13 septembre 2010

Bonne lecture !

Actualités locales

Actualités des institutions

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
Récupéré sur http://www.labri.u-bordeaux.fr/index.php?n=Hebdo.Hebdo-253
Page mise à jour le 17/09/2010 à 10:06