LaBRI-Hebdo 301

Lundi 24 octobre 2011

Bonne lecture !

Actualités locales

  • Les assistants de preuve. Un numéro hors-série (oct/nov 2011) de Sciences et Avenir sur les Mathématiques est paru. L'un des articles est basé sur une interview d'Yves Bertot (INRIA Nice Sophia Antipolis) et Pierre Castéran (LaBRI). Contact scientifique : pierre.casteran@labri.fr
  • Fin des opérations budgétaires 2011 Bx I. Les engagements de dépenses sur crédits Bordeaux I peuvent être réalisés jusqu'au 21 novembre 2011. Ainsi, le pôle financier vous remercie d'anticiper et de prévoir dès maintenant les commandes diverses et les missions.
  • Labruit. Une association de musique du LaBRI est en train de se mettre en place. Pour tout renseignement/inscription, merci de consulter ce document.

Actualités des institutions

  • Université de Bordeaux
    • Rentrée solennelle 2011. La cérémonie de rentrée solennelle de l’Université de Bordeaux se tiendra mardi 25 octobre au Pôle juridique et judiciaire (PJJ) de l’Université Montesquieu - Bordeaux IV. A cette occasion, Robert Badinter, ancien Garde des Sceaux, ancien Président du Conseil constitutionnel, prononcera une conférence sur le thème : "Vers une justice européenne". La cérémonie sera retransmise en direct à partir de 14h30 sur le site Internet de l’Université de Bordeaux. La conférence de Robert Badinter sera par la suite accessible sur le site de Canalc2.
    • Elections CTE/CPE Bordeaux I. Les résultats des élections à la commission paritaire d'établissement (CPE) et au comité technique d'établissement (CTE) du scrutin du 20 octobre 2011 sont disponibles sur le site internet de l'université Bordeaux I et affichés dans le hall du bâtiment A33.
  • CNRS
    • La dernière lettre de la délégation régionale Aquitaine-Limousin est parue.

Semainier (du 24 au 31 octobre)

Lundi 24
14h00-15h00Salle 076GT Algorithmique Distribuée : Philippe Duchon (LaBRI)
Convergence de chaînes de Markov controlées par un adversaire
Mercredi 26
14h00-15h00Amphi LaBRISéminaire des doctorants : Sébastien Fourestier (LaBRI)
Adaptation au repartitionnement de graphes d'une méthode d'optimisation globale par diffusion au moyen d'arêtes fictives
Vendredi 28
14h00-14h30Salle 178GT Graphes et Applications : Clément Charpentier (LaBRI)
Degré Minmax et Cycles Interdits
14h30-15h00Salle 178GT Graphes et Applications : Thomas Morsellino (LaBRI)
Énumération et élection dans les environnements de diffusion multisauts anonymes

Divers

  • IBM PhD Fellowship Awards. IBM met en place des PhD Fellowship Awards attribués par IBM à des doctorants méritants, en particulier sur les sujets suivants sur lequels les équipes de R&D d'IBM Rational sont impliquées en France.
    • Representation Standard for logical dependencies among development artifacts in any language
    • Standardization of data models
    • Mining business rules in specific RPPz code
    • Combining Business Rules modeling and Technical Architectures modeling
    • Support for Smart testing
    • Generation technologies
Si vous êtes intéressés, contactez Nicolas Dangeville. La date de dépot des dossiers est le 1er novembre 2011.
Page mise à jour le 24/10/2011 à 12:27