From LaBRI - Laboratoire Bordelais de Recherche en Informatique

Hebdo: Hebdo-289

LaBRI-Hebdo 289

Lundi 20 juin 2011

Bonne lecture !

Actualités locales

Actualités des institutions

Semainier (du 20 au 27 juin)

Lundi 20
14h00-15h30Salle 076Soutenance HdR : Cédric Chauve
À la recherche des génomes perdus : modèles, méthodologies et algorithmes pour la comparaison de génomes
Mardi 21
11h00-12h00Salle 076GT Graphes et Logique : Igor Walukiewicz (LaBRI)
Krivine machines and higher-order schemes
Jeudi 23
11h30-12h45Salle 076GT Modélisation et Vérification : Gérald Point (LaBRI)
Génération de séquences de pannes de modèles AltaRica
14h00-15h00Amphi LaBRISéminaire LaBRI : Bruno Salvy (INRIA Rocquencourt)
Preuves automatiques d'identités
Vendredi 24
10h45-11h45Salle 076GT Combinatoire Énumérative : Mireille Bousquet-Mélou (LaBRI)
Le nombre d'intervalles dans les treillis de m-Tamari
13h00-14h00Salle Ada Lovelace, bât. A29Unithé ou café : Pascal Durrens, Tiphaine Martin et David Sherman (Équipe-Projet Magnome)
Un polymorphisme suspect
Récupéré sur http://www.labri.u-bordeaux.fr/index.php?n=Hebdo.Hebdo-289
Page mise à jour le 20/06/2011 à 11:33