From LaBRI - Laboratoire Bordelais de Recherche en Informatique

Hebdo: Hebdo-354

LaBRI-Hebdo 354

Lundi 18 février 2013

Bonne lecture !

Actualités des institutions

Semainier (du 18 au 25 février)

Lundi 18
14h00-15h00Salle 178GT Algorithmique Distribuée : Mike Robson (Labri)
Distributed Calculation of Graph Diameter
17h00-18h00Amphi FranklinUE Épistémologie et Histoire de l'Informatique : Pascal Guitton
Les interfaces entre un utilisateur et un ordinateur
Mardi 19
14h00-15h00Amphi du LaBRIVincent Autefage (LaBRI)
Compte-rendu SIF à destination des doctorants, ouvert à tous
11h00-12h00Salle 076GT Graphes et Logique : Frédéric Servais (Univ. of Hasselt)
From Two-Way to One-Way Finite State Transducers
Jeudi 21
11h30-12h30Salle 076GT Modélisation et Vérification : Stefan Göller (Univ. Bremen)
Equivalence Checking of Pushdown Automata and One-Counter Automata
13h30-14h30Amphi LaBRISéminaire du LaBRI : Laurent Simon (LRI)
Towards a new era of SAT solvers
Vendredi 22
10h45-11h45076GT Combinatoire Énumérative : Omar Tout (LaBRI)
Coefficients de structure de l’algèbre de Hecke de la paire (S2n, Bn)
13h00-14h00Salle Ada Lovelace
Bât. Inria
Unithé ou Café : Romain Azaïs et Raphaël Coudret (IMB)
Huître, ouvre-toi !

Agenda

Récupéré sur http://www.labri.u-bordeaux.fr/index.php?n=Hebdo.Hebdo-354
Page mise à jour le 18/02/2013 à 10:16