From LaBRI - Laboratoire Bordelais de Recherche en Informatique

Hebdo: Hebdo-306

LaBRI-Hebdo 306

Lundi 5 décembre 2011

Bonne lecture !

Actualités locales

Actualités des institutions

Semainier (du 28 novembre au 5 décembre)

Lundi 5
10h00-12h00Amphi LaBRISoutenance de thèse de Hervé HOCQUARD
Colorations de graphes sous contraintes
14h00-15h00Salle 076GT Algorithmique Distribuée : Ahmed Wade (LaBRI)
On the Power of Waiting when Exploring Public Transportation Systems
Mardi 6
11h00-12h00Salle 076GT Graphes et Logique : Laurent Doyen (ENS Cachan)
Partial-Observation Stochastic Games: How to Win when Belief Fails
14h00-15h30 Amphi LaBRISoutenance de thèse de Adrien GUIGNARD
Jeux de coloration
Jeudi 8
11h30-12h30Salle 076GT Modélisation et Vérification : André Arnold (LaBRI)
Propriétés de séparation dans la hiérarchie du mu-calcul sur les arbres (3)
Vendredi 9
9h30-10h30Salle 076Petite École de Combinatoire : Xavier Viennot (LaBRI)
L'Ansatz cellulaire (9)
Monday 12
14h00-15h00Amphi LaBRIGT Algorithmique Distribuée : Faith Ellen (Univ. Toronto)
Tight Bounds for Anonymous Conflict Detectors

Divers

Récupéré sur http://www.labri.u-bordeaux.fr/index.php?n=Hebdo.Hebdo-306
Page mise à jour le 05/12/2011 à 13:17