Dans la lettre cette semaine, quelques annonces relatives à la rentrée : la journée de rentrée UFR d’Informatique et IRIF le 7 septembre, l’arrivée de nouveaux membres et le départ de certains.

Côté actualités scientifiques, la publication dans PLOS Computational Biology d’un article écrit par Claire Mathieu et ses collaborateurs sur l’impact de deux stratégies pour limiter la propagation de l’épidémie de Covid-19. Un papier accepté à la conférence CT, trois papiers acceptés à EUROCOMB 2021 et un papier accepté à FOCS 2021.

A ne pas manquer du côté des appels d’offres de nos partenaires, l’appel d’offre Paris Region Fellowship (postdocs) et la dernière ligne droite pour candidater pour le prix Irène Joliot-Curie. Quelques informations également sur l’appel d’offre 2022 pour le co-financement de conférences et colloques scientifiques par l’Université de Paris, les dates importantes sur le programme de travail et sessions d’information ERC 2022.

Pour finir, un Zoom sur les récipiendaires du CONCUR 2021 Test-of-Time award.

Bonne lecture !

• Journée de rentrée : Pour souligner la rentrée, l’UFR d’Informatique et l’IRIF, ont le plaisir de vous inviter à une journée de rentrée le mardi 7 septembre. Grande nouveauté cette année, on inaugure un format court avec des exposés scientifiques de 10 minutes compréhensibles par tous. Merci de bien vouloir confirmer votre présence en répondant à ce sondage au plus vite et au plus tard le 1er septembre.
  • 10h00-10h05 : Introduction
  • 10h05-10h30 : Présentation des nouveautés de la rentrée et du nouveau personnel administratif UFR/IRIF
  • 10h30-12h00 : Présentations scientifiques par les nouveaux membres permanents
  • 12h30-14h00 : Buffet extérieur servi dans la cour du bâtiment Sophie Germain
  • 14h00-15h00 : Mot de bienvenue de la direction de l’IRIF et présentation des ressources communication et administration
  • 15h00-16h00 : Mot de bienvenue et présentation de la direction de l’UFR d'Informatique aux nouveaux ATER. Veuillez noter que seuls les nouveaux ATER sont invités à rester pour cette période.

• Arrivée de nouveaux membres à qui nous souhaitons la bienvenue :
  • Matej Stehlik, recruté comme professeur à l'université de Paris (pôle ASD - équipe Théorie et algorithmique des graphes)
  • Foughali Mohammed, recruté comme Maître de Conférences à l'Université de Paris (pôle ASV - équipe Modélisation et Vérification)
  • Guillaume Geoffroy, recruté comme Maître de Conférences à l'Université de Paris (pôle PPS - équipe Algèbre et calcul)
  • Simon Appers, recruté comme Chargé de Recherche au CNRS (pôle ASD - équipe Algorithmes et complexité). Arrivée prévue au 1er octobre

• Départs parmi les membres permanents de l'IRIF, à qui nous souhaitons une excellente continuation :
  • Miklos Santha (pôle ASD - équipe Algorithmes et complexité) part à la retraite
  • Constantin Enea (pôle ASV - équipe Modélisation et vérification) recruté comme professeur à l'École Polytechnique
  • Stefano Zacchiroli (pôle PPS - équipe Analyse et conception de systèmes), recruté comme professeur à Télécom Paris
  • Inès Klimann (pôle ASV - équipe Automates et applications), en disponibilité pour 1 an
  • Jean Krivine (pôles PPS & ASD - équipes Preuves et programmes, Analyse et conception de systèmes & Calcul distribué), en disponibilité pour 1 an

• Publication dans PLOS Computational Biology le 26 août 2021 : Claire Mathieu (IRIF) et ses collaborateurs publient les résultats de leur recherche Mitigating COVID-19 outbreaks in workplaces and schools by hybrid telecommuting dans le journal PLOS Computational Biology. Dans cet article, ils ont analysé l'impact de deux stratégies, dites de rotation et d’alternance, pour freiner l’épidémie au moment de sa naissance dans une communauté, que ce soit dans une école ou un bureau. Leurs résultats montrent qu'en dessous d'un certain seuil du nombre de reproduction local, au sein de la communauté, les deux stratégies, associées à d’autres mesures sanitaires, contrôlent efficacement l'épidémie, bien que la stratégie dite de « rotation hebdomadaire » soit la plus efficace. Lire l'article ici et le communiqué de presse du CNRS ici.

• Category Theory conference CT20→21 : El Mehdi Cherradi (IRIF) and Paul-André Melliès (IRIF) will present at CT 2021 their work on derivators, a clever tool introduced by Grothendieck to compute homotopy limits and colimits of spaces, exploring the idea that derivators should be understood as generalised categories.

• EUROCOMB 2021 / Accepted papers : Three papers coauthored by IRIF Ph.D students will be presented at the European Conference on Combinatorics, Graph Theory and Applications.
  • Pierre Charbit (IRIF), Pierre Aboulker and Guillaume Aubian (IRIF) : Decomposing and Colouring Locally Out-Transitive Oriented Graphs.
  • Yiting Jiang (IRIF) and Jaroslav Nešetřil : On asymmetric hypergraphs.
  • Reza Naserasr (IRIF) and Zhouningxin Wang (IRIF) : Circular coloring of signed bipartite planar graphs.

• FOCS 2021 / Accepted paper : One accepted paper coauthored by Adrian Vladu (IRIF) will be presented at the 62nd Annual IEEE Symposium on Foundations of Computer Science (FOCS'21) between February 7-10 2022 : Faster Sparse Minimum Cost Flow by Electrical Flow Localization.

Ahmed Bouajjani (IRIF), Javier Esparza, and Oded Maler have received the Concur Test-of-Time Awards for the period 1996-1999 for their article Reachability Analysis of Pushdown Automata: Application to Model-checking published at CONCUR 1997.

The purpose of the CONCUR Test of Time Award is to recognize important achievements in Concurrency Theory that were published at the CONCUR conference and have stood the test of time.

In that article, Ahmed Bouajjani, Javier Esparza and Oded Maler develop symbolic techniques to represent and manipulate sets of configurations of pushdown automata, or even of the broader class of alternating pushdown systems. The paper is based on two ideas. The first one is to use finite automata as a data structure to represent infinite sets of configurations of the pushdown automaton. The second idea is that this representation is closed under the operation of computing predecessors, immediate or not.

Read the interview conducted by Nathalie Bertrand, jury of the Test-of-Time award.

• Université de Paris / AAP Conférences et Colloques Scientifiques 2022 : Dans le cadre de son action de soutien aux initiatives d’animation scientifique, la Faculté des Sciences lance son appel d’offre 2022 pour le co-financement de conférences et colloques scientifiques. Les dossiers sont à envoyer au plus tard le lundi 4 octobre 2021 à Pauline.Andreu@univ-paris-diderot.fr (en copie direction@irif.fr). Plus d'information sur cet appel ici.

• Université de Paris / ERC 2022 : Programme de travail et sessions d'information.
  • Programme de travail 2022 de l’European Research Council (ERC) a été publié récemment. Toutes les informations et les documents de référence sont ici (en français) ou ici (en anglais).
  • Sessions d’information sur les appels Starting, Consolidator et Advanced 2022. Retrouvez toutes les dates de ces réunions ici.

• CNRS-INS2I / Plan de relance : Dans le cadre de la mesure de préservation de l'emploi de R&D, l’Etat a alloué un budget spécifique au CNRS pour prendre en charge la rémunération de nouveaux personnels de R&D engagés sur un nouveau projet de recherche collaborative entre une unité de recherche et une entreprise. Toutes les informations dans le flyer de présentation.

• [Rappel] Prix Irène Joliot-Curie / Appel à candidatures : Le M.E.S.R.I. célèbre cette année les 20 ans du prix Irène Joliot-Curie qui récompense chaque année des femmes scientifiques pour leurs travaux. La date de clôture des candidatures est fixée au jeudi 9 septembre 2021 à minuit. Cette année, le jury décernera quatre prix :
  • “Femme scientifique de l'année” : 40 000 €
  • “Jeune Femme scientifique” : 15 000 €
  • “Femme, recherche et entreprise” : 15 000 €
  • “Prix spécial de l'Engagement” : 40 000 €

• [Rappel] FSMP / Appel d'offre Paris Region Fellowship (postdocs) : The Paris Region Fellowship Programme (ParisRegionFP) is an EU co-funded Marie Sklodowska Curie Action (MSCA) in the frame of European Commissions H2020 programme that will strengthen the research capacity and international influence of the Paris Region, in France. The 5-year programme starts in January 2021. The second call with a deadline in October, 21st, 2021 will recruit 26 researchers for 2-year post-doctoral fellowships. Further information here and application website here.

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

• Lettre du CNRS d'août 2021