LaBRI-Hebdo 255

Lundi 27 septembre 2010

Bonne lecture !

Actualités locales

  • Cette semaine :
    • Une demi-journée dédiée à Michel Marcus (en retraite depuis le 1er septembre) est organisée Vendredi 1 Octobre dans l'amphi du Labri. Un pot suivra au cours duquel nous fêterons aussi Mike Robson (Professeur Émérite depuis le début du mois). Vous êtes tous conviés aux exposés et au pot.
    • Pause café : L'AFoDIB organisera une pause café à laquelle vous êtes tous conviés (permanents/non permanents LaBRI/INRIA). Elle se déroulera Mardi 28 Septembre, en salle 178 à partir de 10h.
    • Assemblée Générale : Elle aura lieu Jeudi 30 Septembre, à 15h30.
    • Portes Ouvertes de l'IREM : L'IREM organise une demi journée portes ouvertes le Mercredi 29 septembre de 14h30 à 17h dans la salle de conférences de l'IMB. Dans le programme, la présentation du rôle de l'IREM, des travaux en cours et des différents groupes, ainsi que des discussions autour des nouvelles actions en prévision.
  • Annonces :
    • Fête du labo : Elle aura lieu du 18 au 22 Octobre. Tous les membres du LaBRI sont invités à présenter leur recherche à leurs collègues à cette occasion. Inscrivez-vous en contactant Paul Dorbec (bureau 215) ou Hugo Gimbert (bureau 275).
    • Visite : Alexey Bobtsov (Doyen du Department of Computer Technologies and Controlling Systems, ITMO, Russia) sera en visite à Bordeaux du 8 au 17 octobre 2010, afin de prendre contact pour d'éventuelles collaborations. Les personnes interessées pour le rencontrer sont invitées à contacter Ralf Klasing.
    • Colloque : Le colloque logique, catégories, sémantique se tiendra à l'université Bordeaux 1 (IMB, salle de conférences) les 12 et 13 novembre 2010. L'inscription est gratuite.

Actualités des institutions

  • CNRS
    • La dernière lettre de la délégation régionale Aquitaine-Limousin est parue. Avec notamment :
      • Signature d'un accord-cadre entre le groupe Sogeti et le LaBRI
  • Ministère

Semainier (du 27 Septembre au 4 Octobre)

Lundi 27
11h00-12h00Salle 076GT Probabilités et informatique : JF Marckert (LaBRI)
Calculs et notion de base en probabilité
14h00-16h00Amphi Kastler / A9Soutenance de Hubert Larchevêque
Agrégation de ressources avec contrainte de distance : applications aux plateformes de grande échelle.
Mardi 28
14h00-16h00Amphi LaBRISoutenance de Radu Tofan
Bordures : de la sélection de vues dans un cube de données au calcul parallèle de fréquents maximaux
Jeudi 30
9h30-10h45Salle 381GT Preuves d'algorithmes distribués : Akka Zemmari (LaBRI)
Cours sur les preuves d'algorithmes distribués probabilistes (2)
11h30-12h45Salle 076GT Modélisation et Vérification : Jérôme Leroux (LaBRI)
The Vector Addition System Reachability Problem
15h30-17h30Amphi LaBRIAssemblée Générale du LaBRI
Vendredi 1
9h30-10h15Amphi LaBRI1/2 journée M. Marcus : Valentin Féray (LaBRI)
Énumération de cartes et calcul de caractères
10h30-11h15Amphi LaBRI1/2 journée M. Marcus : Yves Métivier (LaBRI)
Quelques résultats récents en algorithmique distribuée au LaBRI
11h30-12h15Amphi LaBRI1/2 journée M. Marcus : Gilles Schaeffer (LaBRI)
Bijections et cartes de genre supérieur
14h00-15h00Salle 178GT Graphes et Applications : Paul Dorbec (LaBRI)
Surveillance de réseaux éléctriques, Power Domination
Lundi 4
11h00-12h00Salle 076GT Probabilités et informatique : Philippe Duchon (LaBRI)
Chaînes de Markov et génération aléatoire
Page mise à jour le 29/09/2010 à 17:19