From LaBRI - Laboratoire Bordelais de Recherche en Informatique

Hebdo: Hebdo-233

LaBRI-Hebdo 233

Lundi 8 mars 2010

Bonne lecture !

Actualités locales

Actualités des institutions

Semainier, du 8 au 12 mars

Lundi 8
14h00-15h00178GT Algorithmique Distribuée : Colette Johnen
Des algorithmes auto-stabilisants - suite -
Mardi 9
11h00-12h00076GT Graphes et Logiques : Alexander Kartzow (TU Darmstadt)
Collapsible Pushdown Graphs of Level 2 are Tree-Automatic
Jeudi 11
11h30-12h45076GT Modélisation et Vérification : Johannes Kinder (TU Darmstadt)
Static Analysis of x86 Executables
Vendredi 12
10h45-11h45076GT Combinatoire Énumérative : Mathilde Bouvel (LIAFA)
Motifs et classes de permutations : le point de vue des arbres de décomposition
14h00-15h00178GT Graphes et Applications : Petru Valicov (LaBRI)
Interval graphs and packing problem
Récupéré sur http://www.labri.u-bordeaux.fr/index.php?n=Hebdo.Hebdo-233
Page mise à jour le 10/03/2010 à 16:51