From LaBRI - Laboratoire Bordelais de Recherche en Informatique

Hebdo: Hebdo-296

LaBRI-Hebdo 296

Lundi 19 septembre 2011

Bonne lecture !

Actualités des institutions

Semainier (du 12 au 19 septembre)

Jeudi 22
11h30-12h30076GT Modélisation et Vérification : Marc Zeitoun (LaBRI)
Model checking vector addition systems with one zero-test
Vendredi 23
10h45-11h45076Petite École de Combinatoire : Xavier Viennot (LaBRI)
L'ansatz cellulaire (1)

Agenda

Récupéré sur http://www.labri.u-bordeaux.fr/index.php?n=Hebdo.Hebdo-296
Page mise à jour le 20/09/2011 à 11:57