From LaBRI - Laboratoire Bordelais de Recherche en Informatique

Hebdo: Hebdo-304

LaBRI-Hebdo 304

Lundi 21 novembre 2011

Bonne lecture !

Actualités locales

Annonces externes

Actualités des institutions

Semainier (du 21 au 28 novembre)

Lundi 21
14h00-15h00Salle 76GT Algorithmique Distribuée : Dan Alistarh (EPFL, Lausanne)
The Complexity of Picking a Name
Mardi 22
11h00-12h00Salle 76GT Graphes et Logique : Łukasz Kaiser (LIAFA)
The Field of Reals is not omega-Automatic
Mercredi 23
10h00-12h00Salle 178Young-Joo Moon (LaBRI)
Stochastic Models for Quality of Service of Component Connectors
14h00-15h30Amphi LaBRISoutenance d'HDR de Laurent Réveillère
Building Efficient Distributed Systems: A Domain-Specific Language Based Approach
Jeudi 24
11h30-12h30Salle 076GT Modélisation et Vérification : André Arnold (LaBRI)
Propriétés de séparation dans la hiérarchie du mu-calcul sur les arbres
14h00-15h00Amphi LaBRISéminaire LaBRI : Gérard Berry (Sophia Antipolis)
Systèmes embarqués complexes : défis et solutions envisageables
17h00-18h30Amphi LaBRIUE Histoire et Epistémologie de l'Informatique Gérard Berry (Sophia Antipolis)
La révolution numérique
Vendredi 25
10h45-11h45Salle 075GT Combinatoire Énumérative : Yvan Le Borgne (LaBRI)
Promising q,t-Narayana polynomials
Lundi 28
14h00-15h00Salle 076GT Algorithmique Distribuée : Bernadette Charron-Bost (LIX)
In search of lost time
Récupéré sur http://www.labri.u-bordeaux.fr/index.php?n=Hebdo.Hebdo-304
Page mise à jour le 24/11/2011 à 11:11