LaBRI-Hebdo 418

Lundi 13 avril 2015

Bonne lecture !

Actualités des institutions

Semainier (du 13 au 20 avril)

Lundi 13
14h00-15h00Salle 178GT Algorithmique Distribuée : Anca Muscholl (LaBRI)
Verifying parametrized asynchronous systems
Jeudi 16
11h00-12h00Salle 076GT Modélisation et Vérification : Jérôme Leroux (LaBRI)
Ideals And Well Quasi Orders (Part I)
11h00-12h00Salle 178GT BioInformatique et Visualisation : Muzzamil Luqman (Univ. La Rochelle)
Fuzzy Multilevel Graph Embedding for Recognition, Indexing and Retrieval of Graphic Document Images
Vendredi 17
10h45-11h45Salle 076GT Combinatoire Énumérative : Mireille Bousquet-Mélou (LaBRI)
Chemins de Gessel dans le quadrant
14h00-15h00Salle 178GT Graphes et Applications : Gilles Zémor (LaBRI)
Graphes expanseurs, codes correcteurs, classiques et quantiques.
Lundi 20
14h00-15h00Salle 178GT Algorithmique Distribuée : Ivan Lavallée (Univ. Paris 8)
Extension du domaine algorithmique : les algorithmes de la nature
Page mise à jour le 13/04/2015 à 09:53