LaBRI-Hebdo 256

Lundi 4 Octobre 2010

Bonne lecture !

Actualités locales

  • Nominations : Pascal Guitton est nommé Directeur de la Recherche à l'INRIA.
  • Fiches membres : Afin de générer une page institutionnelle pour chaque personnel du LaBRI, il vous est demandé de remplir ce formulaire avant le 15 Octobre. Le cas échéant, le formulaire est pré-rempli par les informations fournies pour l'évaluation du laboratoire. En cas de problèmes, contacter le webmestre pour les problèmes relatifs à l'interface, la documentaliste pour les problèmes relatifs à HAL
  • Conseil Scientifique : Pour remplacer Ralf Klasing en tant que membre élu "rang B" du Conseil, une élection aura lieu Lundi 4 Octobre à 13h15 dans l'amphi du LaBRI.

Actualités des institutions

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

Semainier (du 4 au 11 Octobre)

Lundi 4
11h00-12h00Salle 076GT Probabilités et informatique : Philippe Duchon (LaBRI)
Chaînes de Markov et génération aléatoire
Mardi 5
11h00-12h00Salle 178GT Graphes et Logique : Jean-Eric Pin (LIAFA)
La notion abstraite de reconnaissance: algèbre, logique et topologie (joint work with M. Gehrke and S. Grigorieff)
Jeudi 7
9h30-10h45Salle 381GT Preuves d'algorithmes distribués : Allyx Fontaine (LaBRI)
Preuves formelles sur les graphes
11h00-12h30Salle 178GT BioInformatique et Visualisation : Pascal Durrens (LaBRI)
Petites leçons de MaBioVis, 1ère session
11h30-12h45Salle 076GT Modélisation et Vérification : Arshia Cont (IRCAM)
Traitement et programmation synchrone des flux musicaux
13h30-14h00Amphi LaBRISéminaire LaBRI : Vivien Quéma (LIG)
The Next 700 BFT Protocols
14h00-14h30Amphi LaBRISéminaire LaBRI : Gaël Thomas (LIP6)
VMKit: a Substrate for Managed Runtime Environments
16h00-17h00Salle de conférences, IMBLeçons de Mathématiques d'Aujourd'hui : Paul ZIMMERMANN (INRIA Nancy)
Arithmétique en précision arbitraire
Vendredi 8
10h45-11h45Salle 076GT Combinatoire Énumérative : Mireille Bousquet-Mélou (LaBRI)
Chemins auto-évitants sur le réseau hexagonal d'après Duminil-Copin et Smirnov
Lundi 11
11h00-12h00Salle 076GT Probabilités et informatique : Akka Zemmari (LaBRI)
Algorithmique distribuée et probabilité
Page mise à jour le 04/10/2010 à 13:39