From LaBRI - Laboratoire Bordelais de Recherche en Informatique

Hebdo: Hebdo-290

LaBRI-Hebdo 290

Lundi 27 juin 2011

Bonne lecture !

Actualités locales

Actualités des institutions

Semainier (du 27 juin au 4 juillet)

Lundi 27
14h00-16h00Amphi LaBRISoutenance de thèse d'Alexander Heußner
Vers la vérification de propriétés de sûreté pour des systèmes infinis communicants: décidabilité & raffinement des abstractions
Mardi 28
11h00-12h00Amphi LaBRIGT Graphes et Logique : Bruno Courcelle (LaBRI)
Représentation de relations par des fonctions unaires; Vérification de propriétés au moyen d'étiquettes
Jeudi 30
11h30-12h30Salle 076GT Modélisation et Vérification : Amélie Stainer (INRIA Rennes)
A game approach to determinize timed automata
11h00-12h30Amphi LaBRIGT BioInformatique et Visualisation : Antoine Lambert (LaBRI)
Pathway Preserving Representation of Metabolic Networks
Vendredi 1
10h45-11h45Salle 076GT Combinatoire Énumérative : Gábor Hetyei (UNC Charlotte)
Les jeux du type Bernoulli et un nouveau type de formules en combinatoire énumérative
Lundi 4
14h00-15h00Salle 178GT Algorithmique Distribuée : Zohir Bouzid (LIP 6)
Robot Networks with Homonyms: The Case of Patterns Formation

Divers

Récupéré sur http://www.labri.u-bordeaux.fr/index.php?n=Hebdo.Hebdo-290
Page mise à jour le 03/10/2011 à 14:35