Lettre de l'IRIF du 7 janvier 2022 Edito Nous ouvrons cette première lettre de l'année 2022 avec quelques mises à jour sur les mesures sanitaires en vigueur et les nouvelles règlementations relatives au télétravail. Ce début d’année est également marqué par l’arrivée de Maximilien Lesellier, notre nouveau responsable administratif. S’enclenche aussi la réflexion sur la prochaine direction du labo ainsi que la rédaction de son rapport d’activité. Information importante à noter : la FSMP propose de financer plusieurs stages de M2 dans les laboratoires ou des stages de nature administrative si besoin. Du côté des actualités scientifiques, la suite des conférences données dans le cadre des événements autour des 75 ans de l'informatique organisés par le LIP6 et 3 papiers acceptés à POPL 2022 co-écrits par des membres de l'IRIF. Et enfin, l'agenda de la semaine du 10 au 14 janvier 2022. Bonne lecture ! Annonces de la direction Nouveau responsable administratif : Nous souhaitons la bienvenue à Maximilien Lesellier qui a pris ses fonctions à l'IRIF le 3 janvier 2022 en tant que responsable administratif. Il assurera le pilotage administratif du laboratoire et participera à la définition de la stratégie du laboratoire. N'hésitez pas à venir le rencontrer au bureau 4003 ou à le contacter par mail : maximilien.lesellier@irif.fr. Situation COVID & télétravail : Les activités sur site telles que les séminaires, les groupes et les réunions de travail ne sont pas supprimées. Les missions et invitations restent possibles, mais les réunions administratives devront être en visioconférence. Télétravail concernant les activités de recherche : Objectif de 3 jours par semaine, au minimum 2 obligatoires, au maximum 4. Séminaires et groupes de travail : Présentiel avec mode hybride en 3052 Bureaux : Aucune jauge, mais aérer régulièrement, et garder son masque en toute occasion. Espaces de détente et restauration : Restauration autorisée dans les espaces communs, avec vérification du taux de CO2, aération, 2 mètres en chaque personne. Missions et invitations : Maintenues en fonction du risque du pays et du statut vaccinal. Plus d'information sur https://www.irif.fr/intranet/prpa. En cas de positivité au COVID : Avertir direction@irif.fr et direction-ufr@informatique.univ-paris-diderot.fr. Prévenir directement ses cas contacts (ou nous demander de le faire). Si cas contact au COVID : Inutile de contacter la direction, renforcer les gestes barrières, garder le masque, ne pas manger dans les espaces communs du laboratoire. Changement de direction et évaluation de l'IRIF : En 2022, nous allons enclencher la réflexion sur la prochaine direction de l'IRIF, en parallèle avec le rapport d'activité de l'IRIF et son projet de recherche en vue de notre évaluation par l'HCERES et le renouvellement du contrat quinquennal de l'IRIF avec le CNRS et l'Université de Paris. C'est en effet une 5ème année de mandature qui s'amorce pour la direction actuelle de l'IRIF. Assemblée générale : La prochaine AG de l'IRIF est prévue de se tenir à distance le 18 janvier. Cette date pourrait éventuellement être décalée si nécessaire. Commandes/missions CNRS : Réouverture le 19/01/2022. Pour toute demande urgente, contactez le secretariat@irif.fr afin de trouver une solution. Matériel de télétravail et détecteurs de CO2 : Plusieurs possibilités en salle 3001. Actualités Accepted paper / POPL 2022 : 3 papers coauthored by IRIF members will be presented at the annual Symposium on Principles of Programming Languages, January 16-22. Giuseppe Castagna (IRIF), Mickaël Laurent (Université de Paris), Kim Nguyen (Université Paris Saclay) and Matthew Lutze (Université de Paris) will present their paper On Type-Cases, Union Elimination, and Occurrence Typing. The paper shows a nifty way to use classic deduction rules to define a formal framework in which dynamic languages such as JavaScript can statically and precisely typed. Check the proof-of-concept implementation available at https://typecaseunion.github.io/. Delia Kesner (IRIF) will present her paper A Fine-Grained Computational Interpretation of Girard’s Intuitionistic Proof-Nets. The paper introduces a functional term calculus that captures the essence of the operational semantics of Intuitionistic Linear Logic Proof-Nets with a faithful degree of granularity, both statically and dynamically. Paul-André Melliès (IRIF), Arthur Vale, Zhong Shao, Jérémie Koenig (Yale) and Léo Stefanesco (MPI) will present a layered concurrent object-based game semantics for the purpose of compositional software specification and certification : https://hal.inria.fr/hal-03456034. Conférence 75 ans d’informatique du LIP6 : Lundi 17 janvier 2022, à 18h, en salle 105, Tour 25-26 Sorbonne Université - Faculté des Sciences, aura lieu la conférence "Intelligence Artificielle et Architecture Electroniques : un destin commun" par Bertrand Granado, Professeur à Sorbonne Université. Focus sur les Prix 2022 de l'Académie des Sciences Plusieurs grands prix seront décernés par l'Académie des sciences en 2022 dans plusieurs disciplines scientifiques dont les mathématiques, la physique, l'astrophysique, les sciences de l'Univers, les sciences appliquées à la technologie. Les appels à candidature et les formulaires de candidature sont consultables sur le site Internet de l'Académie des sciences. Date limite de dépôt des dossiers de candidatures pour ces Grands prix : vendredi 25 février 2022. Grand prix Ampère de l'Electricité de France (50 000€) Grand prix Huy Duong Bui (20 000€) Grand Prix Grand Prix Émilia Valori (15 000€) Grand Prix Jacques Herbrand (15 000€) Grand Prix de Mme Victor Noury (10 000€) Grand Prix Clément Codron - Fondation Codron Fautz / Fondation de l'Institut de France (20 000€) Appels d'offres et informations des partenaires Vœux de fin d'année de nos tutelles Message de Christine Clerici, présidente d'Université de Paris : « Il est essentiel de continuer à s'entraider, pour faire face ensemble aux incertitudes parfois déstabilisantes qui risquent d'émailler notre quotidien professionnel comme personnel pendant encore quelques mois. » Message d'Antoine Petit, PDG du CNRS : « Dès le 3 janvier, le recours au télétravail sera rendu obligatoire pour tous les salariés pour lesquels il est possible, à raison de trois jours minimum par semaine et quatre jours quand cela est possible ». FSMP / Stages DIM Maths Innov : La FSMP est liée contractuellement avec la Région pour déposer des offres de stages sur leur plateforme (100 000 stages pour la Région Île-de-France) et veiller à ce que ces offres soient pourvues. La FSMP propose donc de financer des stages de M2 dans les laboratoires ou des stages purement administratifs, selon les besoins. Le stage doit être d'une durée minimale de 2 mois, il doit se faire dans un laboratoire francilien et s'adresse aux personnes dont l'établissement/l'organisme de formation et le lieu de résidence sont en Île-de-France. Pour soumettre une demande de dépôt de stage, remplir ce formulaire. Data Intelligence Institute of Paris / Next seminar : The next diiP seminar, Graph Based Data Science: Opportunities Challenges and Techniques, will be presented on Zoom on January 4pm (Paris time) by Dr Foula Vagena (Université de Paris, diiP). She has worked on different analytics problems including forecasting, image processing, graph analytics, multidimensional data analysis, text processing, recommendation systems, sequential data analysis and optimization within various fields such as transportation, healthcare, retail, finance/insurance and accounting. Newsletter des partenaires : Les lettres arrivent sporadiquement aux membres de l'IRIF. Elles sont donc listées ci-dessous. CNRS Hebdo du 06/01/2022. En vidéo, des conseils de scientifiques du CNRS pour les futurs·es candidats·es aux bourses ERC Fil Info Recherche Université de Paris du 20/12/2021 Newsletter de la Fondation Université de Paris de décembre 2021 MathisInfos n°55 de décembre 2021. A lire, les informations sur les candidatures pour les allocations doctorales MathInParis2020 (échéance 13/02/2022) et les bourses de master PGSM (échéance 24/02/2022) Agenda de la semaine du 10 janvier au 14 janvier One world numeration seminar · Mardi 11 janvier, 14:30, Online · Philipp Gohlke (Universität Bielefeld), Zero measure spectrum for multi-frequency Schrödinger operators Preuves, programmes et systèmes · Jeudi 13 janvier, 10:30, Room 3052 · Xavier Rival (École normale supérieure), TBA Combinatoire énumérative et analytique · Jeudi 13 janvier, 14:00, Room 3052 et sur zoom · Eva Philippe, Sweep polytopes and sweep oriented matroids Catégories supérieures, polygraphes et homotopie · Vendredi 14 janvier, 14:00, Room 1007 · Hugo Moeneclaey (IRIF), Monoidal models of type theory as notions of parametricity Graph Transformation Theory and Applications · Vendredi 14 janvier, 15:00, online · Reiko Heckel (Department of Informatics, University of Leicester, UK), Tutorial on Graph Transformation Concepts and Applications