From LaBRI - Laboratoire Bordelais de Recherche en Informatique

Hebdo: Hebdo-422

LaBRI-Hebdo 422

Lundi 18 mai 2015

Bonne lecture !

Actualités locales

Semainier (du 18 au 25 mai)

Lundi 18
13h30-14h30Salle Alan Turing 2
Bât Inria
Séminaire équipe Phoenix : Damien Cassou (Univ. Lille 1)
Programming languages and development environments at RMoD Lille:
from research to development with communities
14h00-15h00Salle 178GT Algorithmique Distribuée : Arnaud Casteigts (LaBRI)
JBotSim: a tool for fast prototyping distributed algorithms in dynamic networks
Jeudi 21
11h00-12h00Salle 076GT Modélisation et Vérification : Jérôme Leroux (LaBRI)
Ideals And Well Quasi Orders (Part III)
Vendredi 22
10h45-11h45Salle 076GT Combinatoire Énumérative : Jean-Baptiste Priez (LRI)
Énumération exacte d'automates acycliques minimaux et bijection avec les fonctions de parking généralisées
14h00-15h00Salle 178GT Graphes et Applications : Cyril Gavoille (LaBRI)
Calculer les distances dans un graphe en temps constant avec des étiquettes de 0.793n bits
Récupéré sur http://www.labri.u-bordeaux.fr/index.php?n=Hebdo.Hebdo-422
Page mise à jour le 18/05/2015 à 10:25