From LaBRI - Laboratoire Bordelais de Recherche en Informatique

Hebdo: Hebdo-297

LaBRI-Hebdo 297

Lundi 26 septembre 2011

Bonne lecture !

Actualités locales

Actualités des institutions

Semainier (du 26 septembre au 3 octobre)

Mardi 27
11h00-12h00Salle 076GT Graphes et Logique : Hugo Gimbert (LaBRI)
A Class of Probabilistic Automata with a Decidable Value 1 Problem
Jeudi 29
11h30-12h30Salle 076GT Modélisation et Vérification : Barbara Jobstmann (Verimag)
Quantitative Verification and Synthesis
14h00-15h00Amphi LaBRISéminaire LaBRI : Bert Hartnell (Saint Mary's University, Halifax, Canada)
Girth and the greedy algorithm
11h00-12h30Salle 178GT BioInformatique et Visualisation : Mathilde Bouvel (LaBRI)
Tri parfait par renversements : analyse de complexité en moyenne
Vendredi 30
9h30-10h30Salle 076Petite École de Combinatoire : Xavier Viennot (LaBRI)
L'Ansatz cellulaire (2)
10h45-11h45Salle 076GT Combinatoire Énumérative : Yvan Le Borgne (LaBRI)
Empilements de mots pour l'énumération des interactions supérieures dans les chemins de Dyck
Récupéré sur http://www.labri.u-bordeaux.fr/index.php?n=Hebdo.Hebdo-297
Page mise à jour le 26/09/2011 à 16:31