Lundi 1 Juin 2015
Bonne lecture !
Lundi 1 | ||
---|---|---|
14h00-15h00 | Salle 178 | GT Algorithmique Distribuée : Nesrine Ouled Abdallah (LaBRI) An overview of computational models for wireless sensor networks |
Jeudi 4 | ||
11h00-12h00 | Salle 076 | GT Modélisation et Vérification : Igor Walukiewicz (LaBRI) Safety of parametrized asynchronous shared-memory systems is almost always decidable |
11h00-12h00 | Salle 178 | GT BioInformatique et Visualisation : Alexandre Perrot & Antoine Hinge (LaBRI) Exposés scientifiques doctorants 1ère année |
Vendredi 5 | ||
10h45-11h45 | Salle 076 | GT Combinatoire Énumérative : Ali Chouria (Univ. Rouen) Fonctions symétriques sur les mots et théorème de Redfield-Pólya |