Amphi 9E, Halle aux Farines

• 14h00-14h15 : Accueil des directions de l'IRIF et de l'UFR d'Informatique
• 14h15-17h00 : Présentations des nouveaux (ou presque nouveaux) membres permanents et d'un visiteur longue durée. Ils ont confirmé leur participation :
  • 14h15 - 14h30 : Yining Hu (visiteur longue durée) - « Fractions continues automatiques algebriques en caractéristique 2 »
  • 14h30 - 14h45 : Giulio Manzonetto (PR UPC) - « Lambda calcul et réseaux »
  • 14h45 - 15h00 : Sarah Winter (MCF UPC) - « Challenges in synthesis »
  • 15h00 - 15h15 : Vincent Jugé (délégation CNRS) - « Mots et permutations : entre théorie et pratique »
  • 15h15 - 15h30 : Jean Krivine (CR CNRS, retour disponibilité) - « Some research topics for programmable blockchains »
  • 15h30 - 15h45 : Jérémy Ledent (MCF UPC) - « Knowledge and Topology »
  • 15h45 - 16h00 : Leonid Libkin (industrial chair IRIF/CNRS) - « Leaving the comfort zone: life in ISO/IEC JTC1 SC32 WG3 »
  • 16h00 - 16h15 : Nicolas Ollinger (délégation CNRS) - « Apériodicité, Substitutions, Automaticité, Pavages »
  • 16h15 - 16h30 : Gabriel Scherer (CR INRIA) - « OCaml et théorie des langages de programmation »
  • 16h30 - 16h45 : David Saulpic (CR CNRS) - Présentation réalisée par Sophie Laplante
  • 16h45 - 17h00 : Mónika Csikós (MCF UPC) - « Approximating geometric data »
  • 17h00 - 17h15 : Lelia Blin (PR UPC) - « Etude de l'espace mémoire des algorithmes auto-stabilisants »

Les transparents présentés lors de cette journée sont disponibles sur l'intranet : Présentations de l'IRIF.

17h15-18h00 : Buffet servi dans la salle des Thèses, dans le bâtiment Halle aux Farines, au 5ème étage.