From LaBRI - Laboratoire Bordelais de Recherche en Informatique

Hebdo: Hebdo-310

LaBRI-Hebdo 310

Lundi 9 janvier 2012

Bonne année à tous !

Actualités locales

Actualités des institutions

Semainier (du 3 au 9 janvier)

Lundi 9
11h00-12h15Salle 076GT Probabilités et Informatique : Florent Foucaud (LaBRI)
Méthode probabiliste pour les codes identifiants dans les graphes de degré maximum donné
14h00-15h00Salle 076GT Algorithmique Distribuée : Cyril Cassagnes (LaBRI)
Overlay Addressing and Routing System Based on Hyperbolic Geometry
Mardi 10
16h00-17h00Amphi LaBRISéminaire LaBRI : Tim Sheard (Univ. of Portland State, Oregon )
Nax: a logic based upon Mendler style Iteration/Recursion Combinators
Jeudi 12
11h30-12h30Salle 076GT Modélisation et Vérification : Ocan Sankur (LSV, ENS Cachan)
Robustness and Implementability of Timed Automata
16h-17h30Salle de conférences
de l'IMB
Colloquium de l'IMB : Michel Ledoux (Institut de Mathématiques de Toulouse)
Grandes matrices aléatoires
Vendredi 13
10h45-11h45Salle 076GT Combinatoire Énumérative : Valentin Féray (LaBRI)
Un modèle simple d'arbres décorés pour les cartes unicellulaires
14h00-15h00Salle 178GT Graphes et Applications : André Raspaud (LaBRI)
TBA
Lundi 16
16h00-18h00Salle Badiane
(Haut Carré)
Cérémonie des voeux 2012 de l'Université Bordeaux 1

Divers

Récupéré sur http://www.labri.u-bordeaux.fr/index.php?n=Hebdo.Hebdo-310
Page mise à jour le 09/01/2012 à 10:59