From LaBRI - Laboratoire Bordelais de Recherche en Informatique

Hebdo: Hebdo-402

LaBRI-Hebdo 402

Lundi 3 Novembre 2014

Bonne lecture !

Actualités des institutions

Semainier (du 3 au 10 novembre)

Lundi 3
14h00-15h00Salle 178GT Algorithmique Distribuée : Cyril Gavoille (LaBRI)
Coloration d'un cycle en temps log*(n): borne sup et borne inf
Mardi 4
11h00-12h00Salle 076GT Graphes et Logique : Charles Grellois (Univ. Paris Diderot)
Type systems and logical models for higher-order verification
Jeudi 6
11h00-12h00Salle 076GT Modélisation et Vérification : Paulin de Naurois (Univ. Paris 13)
Reachability In Vector Addition with States and Split/Join Transitions
Vendredi 7
10h45-11h45076GT Combinatoire Énumérative : Olya Mandelshtam (Univ. of California, Berkeley)
A Determinantal Formula for Catalan Tableaux and TASEP Probabilities
Récupéré sur http://www.labri.u-bordeaux.fr/index.php?n=Hebdo.Hebdo-402
Page mise à jour le 03/11/2014 à 14:33