Lettre de l'IRIF du 04 novembre 2022

Edito

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 !

Annonces de la direction


Actualités


Focus sur Gaëtan Douéneau-Tabot, lauréat de deux prix étudiant

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.


Appels d'offres et informations des partenaires

Newsletter des partenaires : Les lettres arrivent sporadiquement aux membres de l'IRIF. Elles sont donc listées ci-dessous.

Agenda de la semaine du 07 novembre au 11 novembre

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