==== Lettre de l'IRIF du 27 août 2021 ==== === Edito === 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 ! === Annonces de la direction === * **Journée de rentrée** : Pour souligner la rentrée, l’UFR d’Informatique et l’IRIF, ont le plaisir de vous inviter à une [[https://www.irif.fr/rencontres/irif/rentree2021|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 [[https://doodle.com/poll/4wh6hf27h7q3fht4?utm_source=poll&utm_medium=link|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 === Actualités === * **Publication dans PLOS Computational Biology le 26 août 2021** : [[https://www.irif.fr/~claire/|Claire Mathieu]] (IRIF) et [[https://journals.plos.org/ploscompbiol/article/authors?id=10.1371/journal.pcbi.1009264|ses collaborateurs]] publient les résultats de leur recherche [[https://journals.plos.org/ploscompbiol/article/authors?id=10.1371/journal.pcbi.1009264|Mitigating COVID-19 outbreaks in workplaces and schools by hybrid telecommuting]] dans le journal [[https://journals.plos.org/ploscompbiol/|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. [[https://journals.plos.org/ploscompbiol/article?id=10.1371/journal.pcbi.1009264|Lire l'article ici]] et le [[https://www.cnrs.fr/fr/covid-19-quelles-strategies-de-teletravail-pour-freiner-la-circulation-du-virus|communiqué de presse du CNRS ici]]. * **Category Theory conference CT20->21** : [[https://www.irif.fr/~elmehdi/|El Mehdi Cherradi]] (IRIF) and [[https://www.irif.fr/~mellies|Paul-André Melliès]] (IRIF) will present at [[https://sites.google.com/view/ct2021|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 [[https://eurocomb2021.upc.edu|European Conference on Combinatorics, Graph Theory and Applications]]. * [[https://www.irif.fr/~charbit/|Pierre Charbit]] (IRIF), Pierre Aboulker and [[https://www.irif.fr/~aubian/|Guillaume Aubian]] (IRIF) : //Decomposing and Colouring Locally Out-Transitive Oriented Graphs//. * [[https://www.irif.fr/~yjiang/|Yiting Jiang]] (IRIF) and Jaroslav Nešetřil : //On asymmetric hypergraphs//. * [[https://www.irif.fr/~reza/pmwiki/pmwiki.php|Reza Naserasr]] (IRIF) and [[https://www.irif.fr/~wangzhou4/|Zhouningxin Wang]] (IRIF) : //Circular coloring of signed bipartite planar graphs//. * **FOCS 2021 / Accepted paper** : **One accepted paper** coauthored by [[https://www.adrianvladu.org/|Adrian Vladu]] (IRIF) will be presented at the [[https://focs2021.cs.colorado.edu/focs-2021-accepted-papers/|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//. === Zoom sur CONCUR 2021 ToT Award Recipients === [[https://www.irif.fr/~abou/|Ahmed Bouajjani]] (IRIF), Javier Esparza, and Oded Maler **have received the Concur Test-of-Time Awards** for the period 1996-1999 for their article [[https://link.springer.com/chapter/10.1007%2F3-540-63141-0_10|Reachability Analysis of Pushdown Automata: Application to Model-checking]] published at CONCUR 1997. The purpose of the [[https://qonfest2021.lacl.fr/test-of-time.php|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. [[https://processalgebra.blogspot.com/2021/08/interview-with-concur-2021-tot-award_23.html?spref=tw|Read the interview]] conducted by **Nathalie Bertrand**, jury of the Test-of-Time award. === Appels d'offres et informations des partenaires === * **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 {{ :intranet:lettre-irif:2021-08-27:fwd_directeurs-unites.sciences_faculte_des_sciences_aap_confe_rences_et_colloques_scientifiques_2022.eml |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]]). {{ :intranet:lettre-irif:2021-08-27:faculte_sciences_aap_confe_rences_et_colloques_2022.pdf |Plus d'information sur cet appel ici}}. * **Université de Paris / ERC 2022** : {{ :intranet:lettre-irif:2021-08-27:fwd_directeurs-unites.sciences_erc_2022_programme_de_travail_et_sessions_d_information.eml |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 [[https://www.horizon-europe.gouv.fr/publication-du-programme-de-travail-2022-de-l-erc-27917|ici (en français)]] ou [[https://erc.europa.eu/news/erc-2022-work-programme|ici (en anglais)]]. * **Sessions d’information** sur les appels Starting, Consolidator et Advanced 2022. Retrouvez {{ :intranet:lettre-irif:2021-08-27:fwd_directeurs-unites.sciences_erc_2022_programme_de_travail_et_sessions_d_information.eml |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. {{ :intranet:lettre-irif:2021-08-27:pr_brochure_chercheurs_vf.pptx |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 [[https://www.enseignementsup-recherche.gouv.fr/cid159067/20e-edition-du-prix-irene-joliot-curie-lancement-de-l-appel-a-candidatures-et-creation-d-un-prix-special-de-l-engagement.html|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)** : {{ :intranet:lettre-irif:2021-07-30:appel_d_offre_paris_region_fellowship_postdocs_.eml |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**. [[https://eur01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fparisregion.eu%2Fparisregionfp&data=04%7C01%7CEsther.DANQUAH%40iledefrance.fr%7C3d445f803dd143e0904c08d940a260bb%7C5a399f594fb04c58b63ef94bfc24371c%7C1%7C0%7C637611888414189099%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=YFtjTlypievbmRBlPN5id%2BdqSMVguZF1IKJbgGe5YgU%3D&reserved=0|Further information here]] and [[https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fparisregionfp.sciencescall.org%2F&data=04%7C01%7CEsther.DANQUAH%40iledefrance.fr%7C3d445f803dd143e0904c08d940a260bb%7C5a399f594fb04c58b63ef94bfc24371c%7C1%7C0%7C637611888414199053%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=jDXDJ7m03WHozEIYnIKyGoWShOzyu9IfGR6KOPR5z5s%3D&reserved=0|application website here]]. **Newsletter des partenaires** : Les lettres arrivent sporadiquement aux membres de l'IRIF. Elles sont donc listées ci-dessous. * [[http://www.cnrs.fr/fr/la-lettre-du-cnrs-15|Lettre du CNRS]] d'août 2021