From LaBRI - Laboratoire Bordelais de Recherche en Informatique

Hebdo: Hebdo-344

LaBRI-Hebdo 344

Lundi 26 novembre 2012

Bonne lecture !

Actualités locales

Actualités des institutions

Semainier (du 26 novembre au 3 décembre)

Lundi 26
14h00-15h00Salle 178GT Algorithmique Distribuée : Prosenjit Bose (Carleton Univ.)
Competitive Routing on a Variant of the Delaunay Triangulation
Mardi 27
14h00-15h30Amphi LaBRISoutenance de thèse de Farès CHUCRI
Exploiter la structure des modèles pour la vérification par la méthode CEGAR
Jeudi 29
11h30-12h30Salle 076GT Modélisation et Vérification : Grégoire Sutre (LaBRI)
Safety Verification of Communicating One-Counter Machines
Vendredi 30
10h45-11h45Salle 076Petite École de Combinatoire : Valentin Féray (LaBRI)
Approche duale des représentations du groupe symétrique (7)
Lundi 3
14h00-15h00Salle 178GT Algorithmique Distribuée : Cyril Gavoille (LaBRI)
Progress and Challenges for Labeling Schemes

Agenda

Récupéré sur http://www.labri.u-bordeaux.fr/index.php?n=Hebdo.Hebdo-344
Page mise à jour le 26/11/2012 à 11:47