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

  • Stage d'observation de 3ème : Du 12 au 16 décembre 2022, l'IRIF aura le plaisir d'accueillir entre 6 et 10 élèves de 3ème dans le cadre de leur stage d’observation. Nous leur proposons durant toute cette semaine un programme diversifié qui leur permettra de mieux appréhender le monde de la recherche en informatique théorique. Nous avons besoin de votre participation pour animer et encadrer les activités proposées. Pour participer, écrivez à scolaire@irif.fr en précisant le type d'activités qui vous intéresse parmi celles mentionnées ci-dessous ainsi que vos disponibilités entre le 12 et le 16 décembre. Les élèves seront présents au labo entre 9h30 et 16h30.
    • Présentation du laboratoire par la direction et le secrétariat de l’IRIF
    • Rencontres/discussions avec des chercheurs·euses
    • Exercices de programmation encadrés par un·e de nos membres
    • Présentations de projets de recherche par un·e de nos membres
    • Entretiens avec des doctorant·es ou postdocs
    • Exposés scientifiques vulgarisés présentés par un·e de nos membres
  • Web pages PhD Students IRIF : Every PhD student at IRIF has a professional web page: https://www.irif.fr/~loginname. This web page is the access point for anyone inside or outside IRIF who might be interested to learn basic professional information about you. You are therefore kindly requested to fill up your web page with professional information, including the informations below. See https://www.irif.fr/intranet/wiki for information about how to create and maintain your web pages.
    • your name and coordinates (by default)
    • the names and coordinates of your PhD adviser(s)
    • the team you belong to
    • the topic of your research project
    • the list of your publications (if any)
    • any additional relevant professional information (e.g., slides of your presentations at seminars or conferences, lecture notes, lists of courses to which you are involved, etc.)


Actualités

  • Invitation EQSI : Launch event of the EQSI – European Quantum Software Institute on Wednesday 8th November, at 13:30, in Paris. This initiative brings together the Paris Centre for Quantum Technologies (Iordanis Kerenidis), PQI – Portuguese Quantum Institute (Yasser Omar), QMATH / Copenhagen (Matthias Christandl), QuSoft / Amsterdam (Harry Buhrman), the Technical University of Munich (Robert Koenig), and the University of Latvia (Andris Ambainis). The launch event will include a presentation of the vision of EQSI and contributions by partners from industry, quantum hardware research, and representatives from European and national quantum programmes, with the goal of fostering future collaboration and joint innovation between EQSI and external stakeholders. Registration here.
  • Long-term visitor / interview : We are pleased to welcome Sergio Rajsbaum, one-year visitor at IRIF since September 2022. He is working with Pierre Fraigniaud, Hugues Fauconnier and Carole Delporte, on developing further a scientific theory of distributed computing. Learn more about him and his work in this written interview.
  • FRAIGNIAUD workshop : The FRAIGNIAUD workshop (Fundamental Research and Algorithmic Innovations in Graphs, Networks and the Internet, with Applications and Upcoming Directions) will take place in Paris on the 28th and 29th of November, on the occasion of Pierre FRAIGNIAUD’s 60th birthday. The event will take place in the Sophie Germain Building, Place Aurélie Nemours 75013 Paris and the talks will take place in Amphitheater Turing of that building. A tentative program is available here. Registration is free, but for the logistics, please send an email to Laurent Feuilloley laurent.feuilloley@univ-lyon1.fr if you plan to attend.


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

  • FSMP / Horizon Mathématiques : L'édition 2022 de la conférence Horizon Maths aura lieu le mardi 06 décembre à Sorbonne Université (Jussieu, Amphi 25). Organisée sous la houlette de Jérôme Pérez (ENSTA PARIS) et d'Emmanuel Trélat (LJLL, SU), cette journée aura pour thème Mathématiques et Gravitation. Au programme : stabilité des systèmes planétaires, mécanique orbitale, dynamique des galaxies, potentiel isochrone, symétries cachées de la gravitation… Retrouvez le programme complet ici. L'inscription, gratuite mais obligatoire, se fait ici.

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