From LaBRI - Laboratoire Bordelais de Recherche en Informatique

Hebdo: Hebdo-266

LaBRI-Hebdo 266

Lundi 13 décembre 2010

Bonne lecture !

Actualités locales

Actualités des institutions

Semainier (du 13 au 20 décembre)

Lundi 13
11h00-12h00Salle 076GT Probabilités et informatique : François Queyroi (LaBRI)
Graphes aléatoires : (quelques) modèles et algorithmes
14h00-15h00Salle 076GT Algorithmique Distribuée : Nicolas Hanusse (LaBRI)
Un algorithme distribué de recherche dans un réseau non-fiable ou comment battre la marche aléatoire avec une montre
Mardi 14
11h00-12h00Salle 076GT Graphes et Logique : Michele Abrusci (Roma III University, Italy)
Connecteurs multiplicatifs généralisés dans la logique non-commutative
Jeudi 16
11h30-12h30Salle 076GT Modélisation et Vérification : Laurent Doyen (LSV, Cachan)
Energy and Mean-Payoff Games
14h00-15h00Amphi LaBRISéminaire LaBRI : Michele Abrusci (Roma III University, Italy)
La logique non-commutative, dix ans après
16h00-17h00Salle de Conférences (IMB)Colloquium de l'IMB : Sebastian Baader (Universität Bern)
A fresh look at positive braids
17h30-19h00Atrium du LaBRIPot de fin d'année AFoDIB
Vendredi 17
10h45-11h45Salle 076GT Combinatoire Énumérative : Robert Cori (LaBRI)
Tas de sable sur un graphe et un théorème du style Riemann-Roch
13h00-14h00Salle Ada Lovelace, bât. A29Unithé ou Café : Christian Rétoré (INRIA)
Un peu de nuance dans une logique de brutes

Divers

Récupéré sur http://www.labri.u-bordeaux.fr/index.php?n=Hebdo.Hebdo-266
Page mise à jour le 13/12/2010 à 14:02