LaBRI-Hebdo 424

Lundi 1 Juin 2015

Bonne lecture !

Actualités locales

  • Workshop ALFA. ALFA'15 est la troisième édition du workshop autour des "Automates, Logique, langauges Formels, et Algèbre". Cette troisième édition aura lieu au LaBRI, les 15-16-17 Juin 2015. Le programme est disponible.

Actualités des institutions

  • CNRS
    • CNRS-Hebdo. La dernière lettre de la délégation régionale Aquitaine-Limousin est parue.

Semainier (du 1er au 8 Juin)

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