LaBRI-Hebdo 311

Lundi 16 janvier 2012

Bonne année à tous !

Actualités locales

  • Formation Coq. Le Groupe de Travail Génie Logiciel (GT-GL) organise une formation à Coq (assistant de preuve), donnée par Pierre Casteran. Quatre dates sont fixées pour l'instant: 26 janvier, 9 et 23 février, 9 mars.
  • Subrogations de créances Bordeaux I. La subrogation de créances intervient lorsque le chercheur effectue lui-même un achat (ex : petit matériel, courses...) et qu'il en demande ensuite le remboursement par l'Université. Pour 2012, établir une subrogation de créance sera possible uniquement à destination de :
    • dépense urgente (à motiver)
    • de paiement à distance
    • de faible montant (- de 150 €)
    • durant une mission (hors de la résidence administrative).

Actualités des institutions

  • CNRS
    • La dernière lettre de la délégation régionale Aquitaine-Limousin est parue.
  • Europe
    • Le service Europe de l’ANRT vous propose un Atelier pour les Chercheurs : Exploiter les opportunités des projets de recherche européens. L'atelier a lieu à Paris et trois dates sont proposées, les 26 janvier, 22 mars et 12 juin 2012. Formulaire d'inscription.

Semainier (du 16 au 23 janvier)

Lundi 16
11h00-12h15Salle 076GT Probabilités et Informatique : Florent Foucaud (LaBRI)
Méthode probabiliste pour les codes identifiants dans les graphes de degré maximum donné
14h00-15h00Salle 076GT Algorithmique Distribuée : Christian Glacet (LaBRI)
The Impact of Edge Deletions on the Number of Errors in Networks
16h00-18h00Salle Badiane
(Haut Carré)
Cérémonie des voeux 2012 de l'Université Bordeaux 1
Jeudi 19
10h00-12h00Salle 064Tim Sheard (Portland State University)
[GTGL] Mixing logic and functional programming styles
10h30-12h30Salle 178GT BioInformatique et Visualisation : Carito Guziolowski et Nicolas Goffard
TBD
11h30-12h30Salle 076GT Modélisation et Vérification : Lorenzo Clemente (LaBRI)
Optimizing Buechi Automata Universality and Inclusion Checking with Subsumption Preorders
14h00-15h00Amphi LaBRISéminaire du LaBRI : Dan Brown (University of Waterloo, Canada)
From DNA to Jay-Z: how ideas from bioinformatics can automate finding rhymes in rap music
15h15-16h15Amphi LaBRIAssemblée Générale du LaBRI
Vendredi 20
10h45-11h45Salle 076GT Combinatoire Énumérative : Jean-François Marckert (LaBRI)
Animaux dirigés, systèmes quadratiques et systèmes de réécritures
14h00-15h00Salle 178GT Graphes et Applications : Paul Dorbec (LaBRI)
Paired versus double domination in graphs
Lundi 23
14h00-15h00Salle 076GT Algorithmique Distribuée : Louis-Claude Canon (IRISA)
Scheduling Associative Reductions with Overlapping Transfers and Computation

Divers

  • Culture Bordeaux I
    • Conférence-débat : "Eau et santé, entre risques et bienfaits". Mardi 17 janvier 2012 - 18h30 - Entrée libre et gratuite Cap Sciences - Hangar 20, Quai de Bacalan à Bordeaux.
    • Ciné Club : "Le Nouveau monde". Réalisé par Terrence Malick - États-Unis - Aventure, historique, romance - 2 h 16 - 2005 - VOSTF. Mardi 24 janvier 2012 - 19h00 - Amphi Kastler - Bât. [A9].
  • Projective Spaces - vernissage et concert lecture. A l'occasion de la Semaine du Son 2012, vous êtes cordialement invités au vernissage de l'installation visuelle et sonore Projective Spaces, lundi 16 janvier 2012 à 18h30, Forum des Arts et de la Culture de Talence. Le vernissage sera accompagné d'un concert lecture du SCRIME, à l'auditorium du Forum.
Page mise à jour le 16/01/2012 à 15:26