From LaBRI - Laboratoire Bordelais de Recherche en Informatique

Hebdo: Hebdo-401

LaBRI-Hebdo 401

Lundi 20 Octobre 2014

Bonne lecture !

Actualités des institutions

Semainier (du 20 au 27 octobre)

Lundi 20
14h00-15h00Salle 178GT Algorithmique Distribuée : Nicolas Hanusse (LaBRI)
Routage compact en pratique. Peut-on router avec des tables de routage de taille 6 ?
Jeudi 23
11h00-12h00Salle 075GT Modélisation et Vérification : Igor Walukiewicz (LaBRI)
IC3: model checking avec SAT
16h00-18h00Salle de conférences de l'IMBColloquium de l'IMB : Simon Masnou (Univ. Lyon 1)
Systèmes multiphase, périmètre et questions d'approximation
Vendredi 24
10h45-11h45Salle 076GT Combinatoire Énumérative : Jean-François Marckert (LaBRI)
Un nouveau codage pour les processus de coalescence. Applications aux cas additif et multiplicatif.
Récupéré sur http://www.labri.u-bordeaux.fr/index.php?n=Hebdo.Hebdo-401
Page mise à jour le 20/10/2014 à 15:17