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