===== Journée de rentrée - 11 septembre 2023 =====

== Mot de bienvenue de la direction de l'UFR d'Informatique et de la direction de l'IRIF suivi par des présentations des nouveaux arrivants ==
**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 : [[:intranet:presentations:]].

==== Buffet servi en extérieur ====
__17h15-18h00__ : Buffet servi dans la [[https://hps.master.univ-paris-diderot.fr/sites/hps.master.univ-paris-diderot.fr/files/u566/Plan%20Halle%20aux%20farines.pdf|salle des Thèses]], dans le bâtiment Halle aux Farines, au 5ème étage.