Edito

Dans la lettre cette semaine, la journée SIF autour du doctorat et un appel à volontaires pour participer à la future commission pour l’adaptation de l’IRIF aux défis environnementaux. Prenez note d'une formation dédiée aux nouveaux arrivants afin de mieux connaître l’Université et les dates de fermeture du bâtiment pour les congés d'hiver. Deux rappels importants avec des deadlines qui approchent : les appels d'offres post-docs de la FSMP et les élections des représentants des doctorants et des membres non permanents.

Le focus s'intéresse à l'exposition 50 Years of Theoretical Computer Science mis en place par l'IRIF et un comité scientifique international. Le vernissage de cette exposition à la bibliothèque MIR aura lieu le 8 décembre entre 12h00 et 14h00.

Côté actualités scientifiques, CAP 2022, JCB 2023 et un postdoc à MATHEXP proposé par Inria Saclay.

Du côté de nos partenaires, un webinaire Projets Européens AMORCE, les appels en cours de la MITI et les appels à candidatures SMARTS-UP.

Bonne lecture !

Annonces de la direction

  • Call for volunteers: The laboratory is looking for members interested in participating in the future commission for the adaptation of IRIF to environmental challenges. This mission will start in January and will last for one year. Its objectives are:
    • to establish different scenarii for reducing the environmental impact and in particular the carbon footprint of the laboratory by giving a precise description of their implementation,
    • to animate a debate on the topic within the laboratory,
    • and to initiate any awareness raising and training activities that may be deemed useful.

The process will end with a collegial decision of the laboratory members, in early 2024, to determine and validate the adaptations that the laboratory wishes to implement. See this proposition for more information for more information. The lab council will decide at its next meeting on December 13 the exact composition of this commission, and will set the details of the process. If you are interested, please apply by email to direction@irif.fr, as soon as possible, and before December 9.

  • Exhibition opening / 50 Years of Theoretical Computer Science : Please make sure to register to cadet@irif.fr by December 2nd, 2022.
  • Formation Nouveaux Arrivants Connaître l’Université : Le mardi 17 janvier 2023 de 09h00 à 12h30, en présentiel – Bâtiment Sophie Germain. L'objectif de cette formation est de découvrir ou mieux connaître son environnement de travail : Université Paris Cité. Formulaire de demande disponible ici. Date limite d’inscription 06/02/2023.
  • Winter closure: The building will be closed from December, 24 to January, 1st included. If your presence on site is essential during this period due to scientific and/or technical activities that cannot be postponed, you may access the lab on request. To do this, please fill the following form before Monday December, 5.
  • [Rappel] PhD and non-permanent researcher representative elections will be held in December. The representatives will be member of the doc-postdoc commission and invited to the lab council (formally, one will be elected and the others invited). Three PhD students, one per pole, and one postdoc are to be elected. Please let us know the names of the candidates before December 2nd at direction@irif.fr. NB: although speaking French is not required, it is recommended for attending the lab council.
  • [Rappel] FSMP / Appels d'offres post-docs : Il est encore possible de postuler aux postes de post-doctorat en mathématiques et en informatique fondamentale proposés par la FSMP et le COFUND MathInGreaterParis pour l'année académique 2023-2024.


Actualités

  • CAP 2022 : Nicolas Behr (IRIF) and Paul-André Melliès (IRIF) will speak at the CAP 22 conference which will take place at IHES on Monday 28 and Tuesday 29 November. The registration to the conference is free but mandatory.
  • Inria Saclay / Two-year postdoc in MATHEXP : The MATHEXP team at Inria Saclay and the ERC-funded “10000 DIGITS” project offer a two-year postdoctoral position (without teaching duty). Deadline for applications: January 23, 2023.


Focus on the exhibition opening of 50 Years of Theoretical Computer Science ?

IRIF is pleased to invite you to the exhibition opening of 50 years of Theoretical Computer Science on Thursday, December 8th from 12:00 to 2:00 PM at the MIR library located on the 8the floor of Sophie Germain building. A buffet will be served, please make sure to register at cadet@irif.fr no later than December 2nd, 2022.

About the exhibition In Europe, during the 1972 Brussels press conference, Maurice Nivat et Marcel-Paul Schützenberger officially declared the birth of Theoretical Computer Science. It is during this press event that the three main chapters of the field are stated: the theory of automata and languages, algorithmics and programming theory.

The exhibition 50 years of Theoretical Computer Science highlights the 50th anniversary of the ICALP conference and of the creation of EATCS. Through a historical tour and an overview of some key themes, the exhibition offers a dive into this field, often way too little known.

Created by IRIF members and an international committee of experts, this exhibition was first presented during ICALP 2022. For those of you who missed it or wish to see it again, it will be presented at MIR library on the 8th floor of Sophie Germain building from December 8th, 2022 until February 27th, 2023.


Appels d'offres et informations des partenaires

  • Université Paris Cité / Appels à candidatures SMARTS-UP : Le projet SMARTS-UP d’Université Paris Cité lance son appel à candidature concernant les bourses de mobilité entrante et sortante en Master. Ci-dessous, les informations concernant les appels à candidatures.
    • Aide à la mobilité sortante pour les étudiant∙es de master des Graduate Schools.
      • Financement pour des stages ou étude te terrain à l’étranger (1 à 6 mois)
      • Période de candidatures : du 14/11/2022 au 16/12/2022 à 17h (CET)
      • Le dossier de candidature est téléchargeable sur la page de l’université (lien)
    • Bourses entrantes (réservées aux primo-entrant∙es)
      • Période de candidatures : du 01/12/2022 au 15/01/2023 à 17h (CET)
      • Les dossiers de candidature sont à déposer sur la plateforme SMARTS-UP
  • [Rappel] Université Paris Cité / Appel à contribution Pint of Science 2023 : The Labex Who Am I?, the EUR G.E.N.E, and the Faculté des Sciences of Université de Paris join forces to organize events during the next edition of the Pint of Science 2023 festival (May 22 to 24, 2023). They are looking for people wishing to be involved in the following activities. If you are interested or have questions, contact Valérie Drouet (valerie.drouet@u-paris.fr) before December 4, 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 28 novembre au 02 décembre

Vérification · Lundi 28 novembre, 11:00, 1007 and Zoom link ·
Nicolas Waldburger (IRISA − Université de Rennes 1), Parameterized Safety Verification of Round-Based Shared-Memory Systems

One world numeration seminar · Mardi 29 novembre, 14:00, Online ·
Manuel Hauke (TU Graz), The asymptotic behaviour of Sudler products

Algorithmes et complexité · Mercredi 30 novembre, 11:00, Room 3052 ·
Chris Brzuska (Aalto University), Obfuscation: Implications in Complexity and Cryptography

Algorithmes et complexité · Mercredi 30 novembre, 16:00, Room 3052 ·
Ce Jin (MIT), Quantum Speed-ups for String Synchronizing Sets, Longest Common Substring, and k-mismatch Matching

Soutenances de thèses · Jeudi 01 décembre, 14:00, Room 3052 du bâtiment Sophie Germain & Zoom ·
Abhishek De (IRIF), Linear logic with least and greatest fixed points: truth semantics, complexity, and a parallel syntax

Combinatoire énumérative et analytique · Jeudi 01 décembre, 14:00, Room 3052 et zoom ·
Groupe De Lecture (Eva Philippe (IMJ-PRG)), Nu-Tamari lattice and Nu-associahedron

Automates · Vendredi 02 décembre, 14:00, Room 3052 ·
Léo Exibard, TBA