LaBRI-Hebdo 390

Lundi 16 juin 2014

Bonne lecture !

Actualités des institutions

  • CNRS
    • CNRS-Hebdo. La dernière lettre de la délégation régionale Aquitaine-Limousin est parue.
    • Session plénière. Le 11 Juin a eu lieu une session plénière du comité national de la recherche scientifique. La convocation de cette session plénière (plus de 500 personnes) par le PDG du CNRS à la suite d'une demande des présidents de section est un évènement tout a fait exceptionnel (5 fois en 70 ans). Elle fait suite à un appel du Conseil Scientifique du Cnrs, en mars dernier qui s'alarmait devant la crise de l'emploi scientifique en France. Le comité national a produit plusieurs propositions demandant "de toute urgence un plan pluriannuel ambitieux pour l’emploi scientifique". Le comité d'organisation a également produit un diaporama intéressant sur l'emploi scientifique.
  • Specif
    • SPECIF Campus souhaite recenser les pratiques et expériences pédagogiques des enseignants d'informatique, ainsi qu'avoir leur avis sur celles-ci et sur les nouvelles pratiques pédagogiques de type classes inversées, MOOC, etc. Un sondage en ligne est proposé, dont les résultats seront analysés à l'automne et diffusés sur le site web de l'association.
  • Université de Bordeaux
    • Conférence de Thomas Steitz. L'université de Bordeaux a le plaisir d’accueillir le 25 juin prochain à 16h30 à l’IECB, le Pr Thomas Steitz, l’un des plus grands spécialistes de biophysique moléculaire et de biochimie, prix Nobel de chimie en 2009 pour ses travaux sur la structure du ribosome. Il donnera à cette occasion une conférence en anglais Understanding Crick’s Central Dogma from Replication to Transcription to Translation. À l’issue de cette conférence, Manuel Tunon de Lara, président de l'université de Bordeaux lui remettra le titre et les insignes de Docteur Honoris Causa.

Semainier (du 16 au 23 juin)

Lundi 16
14h00-16h00Amphi LaBRISoutenance de thèse d'Allyx Fontaine
Analyses et preuves formelles d'algorithmes distribués probabilistes
Jeudi 19
11h00-12h00Salle 076GT Modélisation et Vérification : Thème MV
[Discussion] Suite de la discussion du 28/11
Vendredi 20
14h00-15h00Salle 178GT Graphes et Applications : André Raspaud (LaBRI)
Incidence coloring of graphs with high maximum average degree
Page mise à jour le 16/06/2014 à 15:53