Lettre de l'IRIF du 7 mai 2021 Even if teleworking is mandatory when possible, coming to the lab is allowed when working from home cannot be done efficiently. In that case, to come to IRIF you must visit the page https://www.irif.fr/intranet/prpa. When at IRIF you must wear a face mask all the time: ONLY Category 1 reusable masks or surgical masks WITHOUT exhalation valve COVID Situation at IRIF: 0 active case – 0 close contact. All diagnosed persons and close contacts must signal their situation to direction@irif.fr. You can be tested in the building: https://u-paris.fr/test-covid/ Edito Cette semaine, nous faisons le point sur les ressources à votre disposition pour vous aider et vous accompagner dans la préparation de vos candidatures aux appels ERC. Une session d’information sera organisée par l’Université de Paris le 21 mai prochain. Nous vous invitons à assister à cette réunion, même si vous n’avez pas de projet à présenter, elle pourrait susciter des candidatures. Sachez également qu’une cellule ERC de l’INS2I peut vous accompagner au cours des différentes étapes de candidature. On poursuit avec un point sur la situation de la campagne de recrutement de notre pôle administratif avec un rappel des consignes de recrutement que nous vous demandons de veiller à bien respecter afin de ne pas surcharger le secrétariat et la direction. Côté actualités scientifiques, nous sommes heureux de partager les 5 papiers IRIF acceptés à la prochaine conférence ICALP 2021 ainsi que les 7 acceptés à LICS 2021. Félicitations à tous ! Le zoom cette semaine s’intéresse à la vie de femmes de science et vous propose deux films à regarder. Finalement, quelques appels d’offres de nos partenaires : l’appel ERC Advanced Grants 2021 qui devrait débuter bientôt, l’appel Paris-NUS et une enquête du Conseil Scientifique de l’INS2I sur l’impact de la crise Covid-19 dans leurs unités. Bonne lecture ! Annonces de la direction Point ERC : Des aides sont à votre disposition pour mieux comprendre et maîtriser l’ensemble du processus d’une candidature aux appels ERC. Pour toute question à titre individuel, n'hésitez pas à contacter la direction@irif.fr. La Faculté des Sciences de l’Université de Paris propose une session d’information le 21 mai 9h30 – 12h sur Zoom. Cette réunion est ouverte à tous les scientifiques porteurs d’un projet, à tous les responsables d’équipe/de pôle ou tout membre du labo qui serait intéressé à en savoir davantage sur ce programme et ses modalités. Une cellule particulière, la cellule ERC de l’INS2I (commune avec Inria) vous accompagne à n’importe quelle étape de votre projet. Pour toute question ou demande de conseil, n’hésitez pas à contacter Marie-Christine.Rousset@univ-grenoble-alpes.fr, chargée de mission ERC auprès de l’INS2I. Recrutements : Le renforcement de l'équipe administrative suite au départ d'Eva n'a pas pu être concrétisé car la campagne de recrutement a échoué. Une nouvelle campagne de recrutement est relancée. D'ici-là, nous vous demandons de veiller à ne pas surcharger le secrétariat et la direction en suivant bien les consignes de recrutement indiquées sur l'intranet. Veillez à lancer vos demandes de recrutements docs/postdocs au plus tôt, compte tenu de la période estivale à venir. Sondage BBB et CROCUS : Un sondage sur l'usage des plateformes BBB et CROCUS a été envoyé à l'ensemble des membres. L'objectif de ce sondage est de mieux connaître l'utilisation de ces outils et de s'adapter en conséquence. Date limite pour soumettre vos retours : 14 mai 2021. Inventaire matériel empruntable pour le télétravail (disponible au secrétariat - bureau 4001- ou dans le bureau de Houy) Tablettes graphiques : 9 iPad : 9, Stylets iPad : 11, Adaptateurs iPad : 2 Smart Cover : 8 Ecrans : 5, Webcams : 10 Casques-micros : 2, Casques bluetooth à conduction osseuse : 2 Ordinateurs de bureau : 3, Ordinateurs portables : 3 Actualités ICALP 2021 : Five papers coauthored by IRIF members will be presented at the prestigious conference ICALP’21 this summer. Mathieu Mari, Chien-Chung Huang, Claire Mathieu and Jens Vygen. Approximating maximum integral multiflows on bounded genus graphs Joran van Apeldoorn, Sander Gribling, Yinan Li, Harold Nieuwboer, Michael Walter and Ronald de Wolf. Quantum algorithms for matrix scaling and matrix balancing Antonio Casares, Thomas Colcombet and Nathanaël Fijalkow. Optimal Transformations of Games and Automata using Muller Conditions Thomas Colcombet and Arthur Jaquard. A Complexity Approach to Tree Algebras: the Bounded Case Alexandre Goy, Daniela Petrisan and Marc Aiguier. Powerset-Like Monads Weakly Distribute over Themselves in Toposes and Compact Hausdorff Spaces LICS 2021 : Quick look on the 7 accepted papers coauthored by IRIF members Thomas Ehrhard and Farzad Jafarrahmani will present at LICS2021 the first categorical semantics of Linear Logic with induction and coinduction. Hugo Moeneclaey will present at LICS 2021 a construction semi-cubical models of type theory as cofree parametric models. Paul-André Melliès will present at LICS 2021 an asynchronous template game semantics where the shuffle tensor product of asynchronous games is formulated for the first time as the Gray tensor product of 2-categories, with appropriate scheduling template. Claudia Faggian and Francesco Gavazzo will present at LICS21 a foundation for monadic rewriting, and its application to calculi with algebric effects. Antoine Allioux, Eric Finster, and Matthieu Sozeau will present at LICS 2021 a proof that types are infinity-groupoids internal to an extension of homotopy type theory allowing for the formalization of higher algebraic structures. Nuria Brede and Hugo Herbelin will present a unified classification of choice and bar induction principles. Matteo Mio, Ralph Sarkis and Valeria Vignudelli. Combining nondeterminism, probability, and termination: equational and metric reasoning. Zoom sur deux films mettant en avant des femmes de science Secrets Of The Surface: The Mathematical Vision of Maryam Mirzakhani The film examines the life and mathematical work of Maryam Mirzakhani, the first woman and the first Iranian to be honored in 2014 by mathematics’ highest prize, the Fields Medal. Through the testimonies of her mathematical colleagues, former teachers, classmates and students, the film shares with emotion the deep impact of her achievements. A unique path that has inspired a whole generation, a must see! Picture a scientist Picture a Scientist chronicles the groundswell of researchers who are writing a new chapter for women scientists. Biologist Nancy Hopkins, chemist Raychelle Burks, and geologist Jane Willenbring lead viewers on a journey deep into their own experiences in the sciences, ranging from brutal harassment to years of subtle slights. Along the way, from cramped laboratories to spectacular field stations, we encounter scientific luminaries - including social scientists, neuroscientists, and psychologists - who provide new perspectives on how to make science itself more diverse, equitable, and open to all. Ces films sont gratuits et en libre accès sur l'intranet. Appels d'offres et informations des partenaires CNRS / Candidatures ERC Advanced Grants : L'appel ERC Advanced Grants 2021 va ouvrir très bientôt avec le 31 août 2021 comme date limite pour la soumission des projets. Ne tardez pas à vous lancer dans la rédaction de votre candidature et rappelez-vous que des aides sont à votre disposition. Université de Paris / Paris-NUS Call for proposals 2021-Doctoral Student Mobility : The call is open to Ph.D. students enrolled in a partners’ programme. Only Ph.D. candidates within their 3rd year of studies will be eligible for the grant. Each project will be funded on a year-long basis in amounts of up to 5 000€. To apply, submit the required documents to mariana@nus.edu.sg by 15 June 2021. GDR IM / Enquête du CSI INS2I sur l’impact pour les personnels de nos unités INS2I de la crise Covid-19 : Le Conseil Scientifique de l’Institut des Sciences de l'Information et de leurs Interactions a émis une « Recommandation sur l’impact de la situation sanitaire sur l’enseignement supérieur et la recherche ». Pour aller plus loin, le Conseil Scientifique a décidé de lancer une enquête pour tenter de mieux appréhender les conséquences actuelles et potentielles de la crise sanitaire sur la situation des personnels et des équipes dans le domaine des sciences de l’information en France. Pour participer, veuillez suivre ce lien. [Rappel] CNRS / Fête de la Science : Le CNRS renouvelle l’opération nationale « Les visites insolites du CNRS » pour l’édition 2021 de la Fête de la Science qui aura lieu du 1er au 11 octobre 2021. Consultez les modalités générales pour 2021 ici. Fiche projet à remplir et à renvoyer avant le 18 mai.