From LaBRI - Laboratoire Bordelais de Recherche en Informatique

Hebdo: Hebdo-282

LaBRI-Hebdo 282

Mardi 26 avril 2011

Bonne lecture !

Actualités locales

Actualités des institutions

Semainier (du 26 avril au 2 mai)

Jeudi 28
11h30-12h30Salle 076GT Modélisation et Vérification : Srivathsan Balaguru (LaBRI)
A lazy reachability algorithm for timed automata
14h00-15h00Amphi LaBRISéminaire LaBRI : Julia Lawall (DIKU, Univ. of Copenhagen)
Faults in Linux: Ten Years Later
Vendredi 29
14h00-15h00Salle 178GT Graphes et Applications : Florent Foucaud (LaBRI)
Bounding the identifying code number of a graph using its degree parameters, a probabilistic approach
Lundi 2
14h00-15h00Salle 178GT Algorithmique Distribuée : Cyril Gavoille (LaBRI)
Spanner, distance oracle, and compact routing for unweighted graphs

Divers

Récupéré sur http://www.labri.u-bordeaux.fr/index.php?n=Hebdo.Hebdo-282
Page mise à jour le 26/04/2011 à 13:21