LaBRI-Hebdo 266

Lundi 13 décembre 2010

Bonne lecture !

Actualités locales

  • Un alias president-cs@labri.fr vient d'être créé afin de contacter directement et simplement le président du conseil scientifique du LaBRI.
  • Le LaBRI recevra les 5 et 6 janvier la visite d'une trentaine d'étudiants en informatique de Rennes : une vingtaine d'élèves de l'ENS Cachan Bretagne (niveau L3 et M1), et une dizaine d'étudiants de l'Université de Rennes (niveau M1). La plupart de ces étudiants souhaitent continuer par un doctorat. Pour plus d'informations, contacter Grégoire Sutre.

Actualités des institutions

  • CNRS
    • La dernière lettre de la délégation régionale Aquitaine-Limousin est parue. Avec notamment :
      • Le palmarès de la troisième édition du festival Cinémascience, ainsi que quelques vidéos illustrant les moments forts de l'événement sont disponibles.
      • Concours chercheurs 2011. En 2011, le CNRS recrute 377 chercheurs (F/H) dans tous les domaines scientifiques. Les candidats peuvent consulter en ligne les offres et l'ensemble des informations relatives au déroulement des concours. La date limite d'inscription est fixée au 6 janvier 2011.

Semainier (du 13 au 20 décembre)

Lundi 13
11h00-12h00Salle 076GT Probabilités et informatique : François Queyroi (LaBRI)
Graphes aléatoires : (quelques) modèles et algorithmes
14h00-15h00Salle 076GT Algorithmique Distribuée : Nicolas Hanusse (LaBRI)
Un algorithme distribué de recherche dans un réseau non-fiable ou comment battre la marche aléatoire avec une montre
Mardi 14
11h00-12h00Salle 076GT Graphes et Logique : Michele Abrusci (Roma III University, Italy)
Connecteurs multiplicatifs généralisés dans la logique non-commutative
Jeudi 16
11h30-12h30Salle 076GT Modélisation et Vérification : Laurent Doyen (LSV, Cachan)
Energy and Mean-Payoff Games
14h00-15h00Amphi LaBRISéminaire LaBRI : Michele Abrusci (Roma III University, Italy)
La logique non-commutative, dix ans après
16h00-17h00Salle de Conférences (IMB)Colloquium de l'IMB : Sebastian Baader (Universität Bern)
A fresh look at positive braids
17h30-19h00Atrium du LaBRIPot de fin d'année AFoDIB
Vendredi 17
10h45-11h45Salle 076GT Combinatoire Énumérative : Robert Cori (LaBRI)
Tas de sable sur un graphe et un théorème du style Riemann-Roch
13h00-14h00Salle Ada Lovelace, bât. A29Unithé ou Café : Christian Rétoré (INRIA)
Un peu de nuance dans une logique de brutes

Divers

  • Offres ATER à l'UTC. L'Université de Technologie de Compiègne (UTC) ouvre la deuxième campagne de recrutement des ATER. La date limite est le 16 décembre 2010.
Page mise à jour le 13/12/2010 à 14:02