From LaBRI - Laboratoire Bordelais de Recherche en Informatique

Hebdo: Hebdo-239

LaBRI-Hebdo 239

Lundi 19 avril 2010

Bonne lecture !

Actualités locales

Actualités des institutions

Semainier, du 19 au 23 avril

Mardi 20
10h00-11h00178Pause café AFoDIB
Jeudi 22
10h00-11h15Amphi LaBRIGT Modélisation et Vérification : Christophe Joubert (TU Valencia)
Datalog-based Program Analysis with BES and RWL (visioconférence)
14h00-15h00Amphi LabriSéminaire LaBRI : Alain Cournier (LaRIA, U. Picardie)
Algorithmique Stabilisante : Mesurer la qualité du service
Vendredi 23
10h45-11h45076GT Combinatoire Énumérative : Axel Bacher
Chemins auto-évitants fractals
14h00-15h00178GT Graphes et Applications : Émilie Diot (LaBRI)
Chemin séparabilité
Récupéré sur http://www.labri.u-bordeaux.fr/index.php?n=Hebdo.Hebdo-239
Page mise à jour le 20/04/2010 à 17:51