From LaBRI - Laboratoire Bordelais de Recherche en Informatique

Hebdo: Hebdo-256

LaBRI-Hebdo 256

Lundi 4 Octobre 2010

Bonne lecture !

Actualités locales

Actualités des institutions

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é
Récupéré sur http://www.labri.u-bordeaux.fr/index.php?n=Hebdo.Hebdo-256
Page mise à jour le 04/10/2010 à 13:39