LaBRI-Hebdo 366

Lundi 10 juin 2013

Bonne lecture !

Actualités des institutions

  • CNRS
    • CNRS-Hebdo. La dernière lettre de la délégation régionale Aquitaine-Limousin est parue.
  • Société Informatique de France
    • Rapport sur l'ISN. La SIF accompagne depuis le début la formation des enseignants du secondaire qui enseignent l'Informatique et Sciences du Numérique. Elle a élaboré une analyse de l'état actuel de cette formation, de la situation dans d'autres pays, pour émettre des propositions concernant ce point.
  • UFR Maths-Info

Semainier (du 10 au 17 juin)

Lundi 10
14h00-15h00Salle 178GT Algorithmique Distribuée : Bernadette Charron-Bost (CNRS, Ecole polytechnique, Paris)
The Heard-Of model: computing in distributed systems with benign failures
Mardi 11
11h00-12h00Salle 076GT Graphes et Logique : Makoto Kanazawa (NII, Japan)
Multi-dimensional trees and a Chomsky-Schützenberger-Weir representation theorem for simple context-free tree grammars
Jeudi 13
11h30-12h30Salle 076GT Modélisation et Vérification : Jérôme Leroux (LaBRI)
Acceleration For Presburger Petri Nets
14h00-15h00Amphi du LaBRISéminaire des Doctorants : Vincent Autefage (LaBRI)
Parlons bourdons !
16h00-17h00Salle de conférences de l'IMBColloquium de l'IMB : Pierre Degond (Toulouse) ANNULÉ
Vendredi 14
10h45-11h45Salle 076GT Combinatoire Énumérative : Gábor Hetyei (Univ. North Carolina)
Le vecteur h torique, les nombres de Narayana, et des partitions non-croisées
Lundi 17
14h00-15h00Salle 178GT Algorithmique Distribuée : Yves Metivier (LaBRI)
Sur les algorithmes distribués probabilistes du type Monte-Carlo ou "Que peut faire le hasard quand on est dans le brouillard?"
NDiv idle>d//www.labri.frn gp=7&am1 sieo.php?id_agenda=9611&/ et Vérs ise à j>