From LaBRI - Laboratoire Bordelais de Recherche en Informatique

Hebdo: Hebdo-312

LaBRI-Hebdo 312

Lundi 23 janvier 2012

Actualités des institutions

Semainier (du 23 au 30 janvier)

Lundi 23
11h00-12h15Salle 076GT Probabilités et Informatique : Allyx Fontaine (LaBRI)
Interprétation d'algorithmes probabilistes
14h00-15h00Salle 076GT Algorithmique Distribuée : Louis-Claude Canon (IRISA)
Scheduling Associative Reductions with Overlapping Transfers and Computation
Mardi 24
11h00-12h00Salle 76GT Graphes et Logique : Thomas Colcombet (Liafa)
Topological Monadic Logic
Jeudi 26
11h00-12h30Salle 178GT BioInformatique et Visualisation : Aristotelis Chatziioannou (NHRF, Athens)
"Comparative transcriptomic analysis of 3 cancer cell lines (colorectal, lung, leukemic) for the investigation of common tumor promoting mechanisms, through the application of a generic, computational, systematic framework"
11h30-12h30Salle 076GT Modélisation et Vérification : Peter Habermehl (Liafa)
Forest Automata for Verification of Heap Manipulation
14h00-15h00Amphi LabriSéminaire des doctorants : Savoye Yann (LaBRI)
Beyond Bringing Life to Computer-Generated Character
15h30-17h30Salle 178École Coq GT-GL
Modelling and verifying algorithms in Coq: an introduction
Vendredi 27
10h45-11h45Salle 076GT Combinatoire Énumérative : Andrey Bogatyrev (Institut des méthodes numériques, Moscou)
Graphical description of extremal polynomials
Dimanche 29
14h00-17h00Cap Sciences - BordeauxMyriam Desainte Catherine (LaBRI)
Semaine du Son 2012 - Cap Sciences

Divers

Récupéré sur http://www.labri.u-bordeaux.fr/index.php?n=Hebdo.Hebdo-312
Page mise à jour le 24/01/2012 à 14:39