From LaBRI - Laboratoire Bordelais de Recherche en Informatique

Hebdo: Hebdo-320

LaBRI-Hebdo 320

Lundi 19 mars 2012

Bonne année à tous !

Actualités locales

Actualités des institutions

Semainier (du 19 au 26 mars)

Lundi 19
15h30-16h30Salle de conférences de l'IMBM. Haisaguerre (CHU Bordeaux)
Présentation du projet scientifique de l'IHU Lyric (Institut Multidisciplinaire de Recherche Translationnelle et d’Innovation des pathologies cardiaques électriques)
Mardi 20
11h00-12h00Salle 076GT Graphes et Logique : Amélie Stainer (IRISA)
A game approach to determinize timed automata
Mercredi 21
10h30-12h30Amphi C
Bâtiment A29
Soutenance de thèse de Frédéric Gilbert
Méthodes et modèles pour la visualisation de grandes masses de données multidimensionnelles nominatives dynamiques
Jeudi 22
11h30-12h30Salle 076GT Modélisation et Vérification : Emmanuel Filiot (ULB)
Exploiting Structure in LTL Synthesis
Vendredi 23
10h45-11h45Salle 3
Bâtiment A29
GT Combinatoire Énumérative : Mireille Bousquet-Mélou (LaBRI)
Intervalles de m-Tamari étiquetés
14h00-15h00Amphi E
Bâtiment A29
GT Graphes et Applications : Eleonora Guerrini (ENS Lyon)
Des codes (correcteurs) systématiques représentés sur une grille
Lundi 26
14h00-15h00Salle 076GT Algorithmique Distribuée : Miroslaw Korzeniowski (Wroclaw Univ. of Technology )
Distributed Online and Stochastic Queuing on a Multiple Access Channel

Divers

Récupéré sur http://www.labri.u-bordeaux.fr/index.php?n=Hebdo.Hebdo-320
Page mise à jour le 19/03/2012 à 11:58