Dans la lettre cette semaine, l'accueil des stagiaires de 3ème, une page web dédiée aux doctorant·es IRIF et 2 informations importantes concernant les bourses de doctorat. Côté actualités scientifiques, l'interview de Sergio Rajsbaum et le premier CFP de ICALP 2023. Plusieurs événements à noter : le lancement du programme EQSI, le colloque annuel de Femmes & Sciences et le FRAIGNIAUD workshop.
Du côté de nos partenaires, l'édition 2022 de la conférence Horizon Maths organisée par la FSMP.
Dans le focus, on s'intéressé à Gaëtan Douéneau-Tabot, lauréat de deux prix étudiant.
Bonne lecture !
Gaëtan Douéneau-Tabot est lauréat 2022 de deux Best Student Paper Awards remis par les deux principales conférences organisées par l’EATCS : ICALP et MFCS. En juillet 2022, il a reçu le prix du Best Student Paper pour la track B de la conférence ICALP (International Colloquiuim on Automata, Languages and Programming) pour l’article Hiding pebbles when the output alphabet is unary. En août 2022, il a reçu un second prix à la conférence MFCS (Mathematical Foundations of Computer Science) pour l’article Continuous rational functions are deterministic regular, co-écrit avec Olivier Carton (IRIF).
Dans cette interview écrite, Gaëtan Douéneau-Tabot nous en dit plus sur son travail.
Newsletter des partenaires : Les lettres arrivent sporadiquement aux membres de l'IRIF. Elles sont donc listées ci-dessous.
Vérification · Lundi 07 novembre, 11:00, 3052 and Zoom link ·
Lorenzo Clemente (University of Warsaw), Zeroness and equality problems for weighted register automata over equality data
Algorithmes et complexité · Mardi 08 novembre, 11:00, Room 2017 ·
Dimitris Achlioptas (University of Athens), The Lovász Local Lemma as Approximate Dynamic Programming
One world numeration seminar · Mardi 08 novembre, 14:00, Online ·
Wen Wu (South China University of Technology), From the Thue-Morse sequence to the apwenian sequences
Algorithmique distribuée et graphes · Mardi 08 novembre, 14:00, 1007 ·
Zahraa Mohsen (IMJ-PRG), On Coloring Digraphs and Certain Types of Paths and Cycles
Preuves, programmes et systèmes · Jeudi 10 novembre, 10:30, Room 3052 ·
Gabriele Vanoni (Inria Sophia Antipolis), Reasonable Space and the Lambda-Calculus
Combinatoire énumérative et analytique · Jeudi 10 novembre, 14:00, Room 3052 et zoom ·
Groupe De Lecture, TBD
Séminaire des doctorants · Jeudi 10 novembre, 16:00, 3052 ·
El Mehdi Cherradi, ($\infty$-)Categorical semantic of type theory: an introduction