From LaBRI - Laboratoire Bordelais de Recherche en Informatique

Hebdo: Hebdo-323

LaBRI-Hebdo 323

Lundi 10 avril 2012

Bonne lecture !

Actualités des institutions

Semainier (du 10 au 16 avril)

Mardi 10
11h00-12h00Salle 076GT Graphes et Logique : Yann Strozecki (LRI)
Largeur de décomposition d'hypergraphe
15h00-16h00Salle 074GT BioInformatique et Visualisation : Sylvain Cussat-Blanc (Brandeis, USA)
De la cellule virtuelle au robot réel
Jeudi 12
9h30-10h30Salle 178GT Génie Logiciel : Amine Raji (LaBRI)
Intégration des activités de vérification formelle aux processus de développement de logiciels pour les systèmes embarqués
11h30-12h30Salle 076GT Modélisation et Vérification : Aiswarya Cyriac (LSV, ENS Cachan)
Model Checking Languages of Data Words
14h00-15h00Amphi LaBRISéminaire LaBRI : David Janin (LaBRI)
Musique computationnelle : des arabesques de Debussy aux monoides quasi-inversifs de Lawson
Vendredi 13
10h45-11h45Salle 076GT Combinatoire Énumérative : Anthony Labarre (KU Leuven)
Distributions de cycles et distances entre génomes
13h00-14h00Salle Ada Lovelace (A29)Unithé ou Café : Manuel Lopes (INRIA)
Ces robots qui nous imitent
14h00-15h00Salle 178GT Graphes et Applications : Olivier Baudon (LaBRI)
Arbitrarily Partionable Graphs
Récupéré sur http://www.labri.u-bordeaux.fr/index.php?n=Hebdo.Hebdo-323
Page mise à jour le 10/04/2012 à 11:41