From LaBRI - Laboratoire Bordelais de Recherche en Informatique

Hebdo: Hebdo-231

LaBRI-Hebdo 231

Lundi 22 février 2010

Bonne lecture !

Actualités locales

Actualités des institutions

Semainier, du 22 au 26 Février

Mardi 23
11h00-12h00076GT Graphes et Logique : Sylvain Salvati (LaBRI)
MIX is a 2-MCFL
Jeudi 25
11h30-12h45076GT Modélisation et Vérification : Philipp Ruemmer (Oxford University)
Craig Interpolation for Quantifier-Free Presburger Arithmetic.
14h00-15h00Amphi LaBRISéminaire des doctorants : Vincent Filou (LaBRI)
Un environnement de preuve des calculs locaux
Vendredi 26
14h00-15h00178GT Graphes et Applications : Resa Naserasr (LaBRI)
Introduction to eigenvalue methods in graph theory

Agenda

Récupéré sur http://www.labri.u-bordeaux.fr/index.php?n=Hebdo.Hebdo-231
Page mise à jour le 21/02/2010 à 23:56