LaBRI-Hebdo 244

Mardi 25 mai 2010

Bonne lecture !

Actualités locales

  • Responsable du suivi HAL. Le LaBRI lance un appel à candidatures pour le remplacement de Jean-Michel Lepine à la rentrée pour assurer l'interface entre la documentaliste et les chercheurs.
  • Pause café AFoDIB. Elle se déroulera en salle 178 le mardi 25 mai à partir de 10h. Tout le monde est convié (permanents/non permanents LaBRI/INRIA).
  • Badge d'accès à l'université pour cet été. Du mercredi 28 juillet 2010 au soir au vendredi 20 août inclus, l'accès à l'Université se fera exclusivement avec un badge depuis le portail motorisé de la chaufferie, au rond-point du site du Haut-carré. Les personnels concernés qui ne sont pas en possession d'un badge permettant d'ouvrir ce portail sont invités à en faire la demande auprès des assistantes d'équipes (assistantes.equipes@labri.fr).
  • Concert dans le cadre des Jeudis Multimedia et du SCRIME. Florent Berthaut (doctorant du LaBRI) fera un concert de live-looping hiérarchique jeudi 27 mai à 18h00 dans la salle de réalité virtuelle.
    Cette manifestation est ouverte au public. Le nombre de places à Hémicyclia étant très limité, celles-ci seront en priorité réservées aux personnes extérieures sur cet événement. D'autres dates seront proposées ultérieurement pour les membres du LaBRI qui n'auront pas pu y assister.

Actualités des institutions

  • CNRS
    • La dernière lettre de la délégation régionale Aquitaine-Limousin est parue. Avec notamment :
      • Le ministère de l'Enseignement supérieur et de la Recherche propose un vade-mecum destiné aux chercheurs et enseignants-chercheurs qui souhaitent effectuer une mobilité en entreprise, réaliser des travaux de consultance ou créer une entreprise, qui s'interrogent sur les dispositifs en vigueur et sur la marche à suivre.
      • Les électeurs peuvent consulter les candidatures des collèges chercheurs (collèges A et B) et les listes de candidats du collège ITA (collège C) pour le conseil scientifique du CNRS et pour les conseils scientifiques d'institut. Le matériel de vote sera expédié aux environs du 10 juin 2010.
      • Michel Bidoit, directeur de recherche au CNRS, est nommé directeur adjoint scientifique de l'Institut des sciences informatiques et leurs interactions (INS2I), en charge du domaine "spécification et vérification des systèmes", à compter du 1er mai 2010.

Semainier (du 25 au 28 mai)

Mardi 25
10h00-11h00178Pause café AFoDIB
Jeudi 27
11h30-12h45076GT Modélisation et Vérification : Nicolas Halbwachs (Verimag, Grenoble)
Static analysis of positional and non positional properties of arrays
14h00-15h00Amphi LabriSéminaire des doctorants : Pierre Bourreau (LaBRI)
Analyse et génération dans les ACG avec effacement
Vendredi 28
10h45-11h45076GT Combinatoire Énumérative : David Renault
Algorithmes de construction de graphes de Cayley planaires localement finis
14h00-15h00178GT Graphes et Applications : Tomas Kaiser (Dept of Mathematics, Plzeň Univ., Czech Republic)
The doubly-critical graph conjecture

Agenda

  • Conférence "L'Odyssée des Lasers en ophtalmologie" le mercredi 26 mai 2010, 19h à l'Agora.
    Conférence débat "La crise de l'idée de progrès" le vendredi 4 juin 2010, 17 h 45 à Sciences Po Bordeaux - Amphi Siegfried.
    Renseignements : Service Culturel - 05 40 00 24 75 - culture@u-bordeaux1.fr
Page mise à jour le 26/05/2010 à 13:17