From LaBRI - Laboratoire Bordelais de Recherche en Informatique

Hebdo: Hebdo-365

LaBRI-Hebdo 365

Lundi 3 juin 2013

Bonne lecture !

Actualités locales

Contact : xavier.de-rochefort@labri.fr

Actualités des institutions

Semainier (du 3 au 10 juin)

Lundi 3
11h00-12h15Salle 076GT Probabilité et Informatique : František Kardoš (LaBRI)
Fractional colorings of cubic graphs with large girth
14h00-15h00Salle 178GT Algorithmique Distribuée : Corentin Travers (Labri)
Introduction to renaming
Mardi 4
11h00-12h00Salle 076GT Graphes et Logique : Pierre Clairambault (Univ. of Cambridge)
Böhm trees as higher-order recursion schemes
Jeudi 6
11h30-12h30Salle 076GT Modélisation et Vérification : Vincent Penelle (LIGM)
On the Context-freeness Problem for Vector Addition Systems
Lundi 10
14h00-15h00Salle 178GT Algorithmique Distribuée : Bernadette Charron-Bost (CNRS, Ecole polytechnique, Paris)
The Heard-Of model: computing in distributed systems with benign failures
Récupéré sur http://www.labri.u-bordeaux.fr/index.php?n=Hebdo.Hebdo-365
Page mise à jour le 03/06/2013 à 10:39