From LaBRI - Laboratoire Bordelais de Recherche en Informatique

Hebdo: Hebdo-236

LaBRI-Hebdo 236

Lundi 29 mars 2010

Bonne lecture !

Actualités locales

Actualités des institutions

Semainier, du 29 Mars au 2 Avril

Lundi 29
14h00-15h00178GT Algorithmique Distribuée : Stéphane Rovedakis (IBISC)
Construction auto-stabilisante d'arbres pour des métriques non-locales
Mardi 30
11h00-12h00Salle nord - Centre de Génomique fonctionnelleDaniel Jacob (Bordeaux 2)
Le Web Sémantique : une nouvelle approche de gestion des données et de la connaissance induite
Jeudi 1
11h30-12h45076GT Modélisation et Vérification : Arnaud Sangnier (Univ. Torino)
When Model-Checking Freeze LTL over Counter Machines Becomes Decidable
Vendredi 2
10h45-11h45076GT Combinatoire Énumérative : Damien Regnault (ENS Lyon)
Tableaux alternatifs et nombres de Schröder
14h00-15h00178GT Graphes et Applications : Laurent Beaudou
Problems from the cold

Agenda

Le SUAS et le Service Culturel, en collaboration avec EcoCampus et la CASDEN, vous proposent des manifestations grand public dans le cadre de la semaine du développement durable :

Récupéré sur http://www.labri.u-bordeaux.fr/index.php?n=Hebdo.Hebdo-236
Page mise à jour le 06/04/2010 à 11:12