Edito

Cette semaine, ne manquez pas le pré-appel pour les bourses de thèse de l'Ecole Doctorale, les pré-inscriptions à ICALP avec soutien de l'IRIF si besoin, ainsi que l'appel à participation au prochain salon des jeux mathématiques, et les dates des prochains conseil de laboratoire.

Retrouvez aussi le portrait de Guillaume Geoffroy qui nous a rejoint comme Maître de Conférences en septembre dernier.

Beaucoup d'actualités et d'évènements dans les prochaines semaines, dont 75 ans d'informatique - le LIP6 et l'IRIF, HALG 2022, ICALP 2022, et une conférence-débat sur l'ordinateur quantique à l'Académie des sciences.

Bonne lecture !

Annonces de la direction

  • Pré-appel IRIF aux bourses de doctorat de l'ED386 - Deadline : May 20th, 2022. Starting 2022, and accordingly to the recommendation of Conseil de laboratoire & AG (March 29th, 2022), a pre-call is organized by IRIF in order to help potential applicants to improve their file before the formal call of the graduate school ED386. When possible, applying to the pre-call is strongly recommended in order to improve the quality of the final application.
  • Early registration ICALP 2022 - IRIF financial support : Early registration for ICALP 2022 is now open until May 11th, 2022. Late registration starts from May 12th, 2022. For IRIF members with no access to a grant, early registrations can be covered by the lab if needed. Follow this link to register for the conference: https://icalp2022.irif.fr/?page_id=50#registration. While making your reservation, choose bank transfer as a mean of payment and send an email to secretariat@irif.fr.
  • Salon des jeux mathématiques 2022 : Du 2 au 5 juin se tiendra la 23e édition du Salon de la Culture et des jeux mathématiques en présentiel à la Place Saint Sulpice, sous le thème « Maths en Pleines Formes ». Les organisateurs sont à la recherche de participant·es pour animer le stand « La recherche se prend au jeu » ou pour proposer des activités. Pour une réponse positive à l’une ou l’autre de ces options, écrire à fdlsinfo@irif.fr.
  • Conseils de laboratoire : Nous vous partageons les dates des deux prochains conseils de laboratoire.
    • 31 mai : Examen des dossiers reçus dans le cadre du IRIF Pre-call for PhD fellowships of ED386
    • 7 juin : Examen de la candidature reçue pour la nouvelle direction de l'IRIF au 01/01/2023


Actualités

  • Portrait nouvel arrivant : Nous avons le plaisir d'accueillir depuis le 1er septembre Guillaume Geoffroy, maître de conférences à l'Université Paris Cité. Apprenez-en davantage sur son parcours et sa recherche en lisant son portrait.
  • ICALP 2022 / Accepted papers : Overview of the 3 papers coauthored by IRIF members that will be presented at ICALP 2022. See the list of all accepted papers : https://icalp2022.irif.fr/?page_id=85.
    • Gaëtan Douéneau-Tabot (IRIF, DGA): Hiding pebbles when the output alphabet is unary. Pebble transducers are simple programs which compute functions over finite words. This paper studies subclass membership problems for the functions computed by pebble transducers whose outputs are unary. Its results can be understood as program optimization techniques
    • Antonio Casares (IRIF), Thomas Colcombet (IRIF) and Karoliina Lehtinen (Aix-Marseille University). On the size of good-for-games Rabin automata and its link with the memory in Muller games. In this paper, we study the link between good-for-games Rabin automata and memory structures for infinite duration games over graphs. We also establish that these automata can be exponentially more succinct than equivalent deterministic ones.
    • Claire Mathieu (IRIF) and Hang Zhou (École Polytechnique). A PTAS for Capacitated Vehicle Routing on Trees. We give a polynomial time approximation scheme (PTAS) for the unit demand capacitated vehicle routing problem (CVRP) on trees, for the entire range of the tour capacity. The result extends to the splittable CVRP.
  • HALG 2022 / Call for participation : 7th Highlights of Algorithms conference, at the London School of Economics and Political Science, June 1-3, 2022. The Highlights of Algorithms conference is a forum for presenting the highlights of recent developments in algorithms and for discussing potential further advances in this area. Early registration (by 20th May 2022). More information.


Portrait nouvel arrivant

Co-fondateur de l’association Pi Day, consacrée à la diffusion et à la promotion des mathématiques, Guillaume Geoffroy est très impliqué dans les projets pédagogiques valorisant l’accès aux sciences au public. Rencontre avec celui qui vient de rejoindre l’IRIF en tant que maître de conférences à l’Université Paris Cité.

“L’avantage dont disposent les mathématiques et l’informatique théorique par rapport aux autres sciences, c’est qu’il n’y a pas besoin de beaucoup de matériel pour les pratiquer et les faire pratiquer : il suffit d’avoir de l’imagination !” Guillaume Geoffroy, maître de conférences à l’Université Paris Cité | Pôle Preuves, programmes et systèmes - Équipe Algèbre et calcul.

Continuez la lecture en lisant son portrait.


Appels d'offres et informations des partenaires

  • Université Paris Cité / Session d'information ERC : La Faculté des Sciences vous propose une session d’information sur le programme de financement 2023 du Conseil Européen de la Recherche (ERC), vendredi 13 mai (10h-12h00), sur Zoom (ID de réunion : 836 2691 8461 - Code secret : 943146).
    • 10h - 10h15 : Horizon Europe : programme-cadre de l'Union européenne pour la recherche et l'innovation 2021-2027 Département Ingénierie et Management de projet de la Faculté des Sciences
    • 10h15- 11h15 : Comment et pourquoi préparer un projet pour le Conseil Européen de la Recherche – ERC ? Christine COURILLON, Agence Exécutive de l'ERC
    • 11h15 - 12h : Discussion générale
  • INS2I / Appel à candidatures RISE 07 : Le nouvel appel à candidature pour sélectionner la promotion 7 du programme RISE est lancé https://form.typeform.com/to/YL0hvcW0. Date limite de dépôt des dossiers via le formulaire du site internet : du 27 avril au 30 mai 2022.

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


Agenda de la semaine du 09 mai au 13 mai

Vérification · Lundi 09 mai, 11:00, Zoom link ·
James Worrell (University of Oxford), The Skolem Landscape

Sémantique · Lundi 09 mai, 16:30, Exposé en ligne depuis San Diego sur galene ·
Chaitanya Leena Subramaniam (University of San Diego), The higher universal algebra of dependently typed theories

Algorithmes et complexité · Mardi 10 mai, 17:00, Room 3052 ·
Michele Orrù (UC Berkeley), On the (in)security of ROS

Preuves, programmes et systèmes · Jeudi 12 mai, 10:30, Room 3052 ·
Patrick Baillot (CNRS, CRIStAL Lille), Bunched Fuzz: Sensitivity for Vector Metrics

Combinatoire énumérative et analytique · Jeudi 12 mai, 14:00, Room 3052 ·
Baptiste Rognerud (IMJ-PRG), Les matrices de Coxeter des ensembles ordonnés de Tamari sont périodiques

Séminaire des doctorants · Jeudi 12 mai, 16:00, Room 1007 ·
Daniel Szabo, TBD

Combinatoire énumérative et analytique · Vendredi 13 mai, 14:00, Room 1007 ·
Christophe Reutenauer (UQAM, Canada), Le monoïde stylique (seminaire joint Combinatoire et Automates)