LaBRI-Hebdo 304

Lundi 21 novembre 2011

Bonne lecture !

Actualités locales

  • Inauguration du Mésocentre : La journée d'inauguration du Mésocentre de Calcul Intensif Aquitain aura lieu le vendredi 25 novembre. Cet évènement est très largement ouvert à tous les enseignants-chercheurs, sera l'occasion d'échanges entre collègues de toutes disciplines et une vitrine du dynamisme de la communauté du HPC en Aquitaine.
  • Conseil de Laboratoire : La nomination récente de Xavier Blanc comme directeur adjoint du LaBRI a libéré un siège au Conseil de Laboratoire, où Xavier était membre nommé. Anne Vialard a accepté d'être nommée à ce siège et rejoint donc le Conseil de Laboratoire à partir de sa séance du 8 décembre.

Annonces externes

  • École d'Hiver Logique et Complexité : Le CIRM et l'Université de Marseille organisent du 30 janvier au 3 février une école d'hiver.

Actualités des institutions

  • CNRS
    • La dernière lettre de la délégation régionale Aquitaine-Limousin est parue.
  • Europe
    • Ateliers Chercheurs : L'ANRT organise les 30 Novembre et 26 Janvier prochains un Atelier Chercheurs : Exploiter les financements dans les projets européens du 7ème PCRD. Inscriptions et renseignements en suivant ce lien.

Semainier (du 21 au 28 novembre)

Lundi 21
14h00-15h00Salle 76GT Algorithmique Distribuée : Dan Alistarh (EPFL, Lausanne)
The Complexity of Picking a Name
Mardi 22
11h00-12h00Salle 76GT Graphes et Logique : Łukasz Kaiser (LIAFA)
The Field of Reals is not omega-Automatic
Mercredi 23
10h00-12h00Salle 178Young-Joo Moon (LaBRI)
Stochastic Models for Quality of Service of Component Connectors
14h00-15h30Amphi LaBRISoutenance d'HDR de Laurent Réveillère
Building Efficient Distributed Systems: A Domain-Specific Language Based Approach
Jeudi 24
11h30-12h30Salle 076GT Modélisation et Vérification : André Arnold (LaBRI)
Propriétés de séparation dans la hiérarchie du mu-calcul sur les arbres
14h00-15h00Amphi LaBRISéminaire LaBRI : Gérard Berry (Sophia Antipolis)
Systèmes embarqués complexes : défis et solutions envisageables
17h00-18h30Amphi LaBRIUE Histoire et Epistémologie de l'Informatique Gérard Berry (Sophia Antipolis)
La révolution numérique
Vendredi 25
10h45-11h45Salle 075GT Combinatoire Énumérative : Yvan Le Borgne (LaBRI)
Promising q,t-Narayana polynomials
Lundi 28
14h00-15h00Salle 076GT Algorithmique Distribuée : Bernadette Charron-Bost (LIX)
In search of lost time
Page mise à jour le 24/11/2011 à 11:11