==== 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 à [[https://www.irif.fr/~lesellier/|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. * [[https://www.irif.fr/~gc|Giuseppe Castagna]] (IRIF), [[https://www.irif.fr/~mlaurent/|Mickaël Laurent]] (Université de Paris), **Kim Nguyen** (Université Paris Saclay) and **Matthew Lutze** (Université de Paris) will present their paper [[https://hal.archives-ouvertes.fr/hal-03426711|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/]]. * [[https://www.irif.fr/~kesner|Delia Kesner]] (IRIF) will present her paper [[https://www.irif.fr/~kesner//papers/popl22.pdf|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. * [[https://www.irif.fr/~mellies|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 [[https://www.lip6.fr/75ans/?guest=Granado|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 === {{:intranet:lettre-irif:2022-01-07:prix_bui.jpeg?550 |}} [[https://intranet.cnrs.fr/science/Pages/Prix-de-l%27Académie-des-sciences.aspx|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.** - [[https://www.academie-sciences.fr/fr/Appel-a-candidature/appel-a-candidature-prix-ampere-de-l-electricite-de-france.html|Grand prix Ampère de l'Electricité de France]] (50 000€) - [[https://www.academie-sciences.fr/fr/Appel-a-candidature/prix-huy-duong-bui.html|Grand prix Huy Duong Bui]] (20 000€) - [[https://www.academie-sciences.fr/fr/Appel-a-candidature/prix-emilia-valori.html|Grand Prix Grand Prix Émilia Valori]] (15 000€) - [[https://www.academie-sciences.fr/fr/Appel-a-candidature/prix-jacques-herbrand.html|Grand Prix Jacques Herbrand]] (15 000€) - [[https://www.academie-sciences.fr/fr/Appel-a-candidature/appel-a-candidature-prix-madame-victor-noury-2016.html|Grand Prix de Mme Victor Noury]] (10 000€) - [[https://www.academie-sciences.fr/fr/Appel-a-candidature/prix-codron-fautz.html|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** * {{ :intranet:lettre-irif:2022-01-07:actualites_message_de_christine_clerici.eml |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. »// * {{ :intranet:lettre-irif:2022-01-07:message_du_pdg_aux_agents_du_cnrs.eml |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 {{ :intranet:lettre-irif:2022-01-07:fwd_stages_proposition_de_financement_des_stages.eml |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, [[https://applications.sciencesmaths-paris.fr/fr/formulaire-stage-dim-rdm-idf-819.htm#!|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 [[https://u-paris.zoom.us/j/89221205454?pwd=RzlCNHQ4SFBKRHFJR2Y0ZldMSXpvZz09|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. * [[http://www.cnrs.fr/CNRS-Hebdo/iledefrance-villejuif/lettre.php?numero=607|CNRS Hebdo]] du 06/01/2022. [[https://www.youtube.com/watch?v=_ev3EaK7gd|En vidéo, des conseils de scientifiques du CNRS]] pour les futurs·es candidats·es aux **bourses ERC** * [[https://u-paris.fr/?mailpoet_router&endpoint=track&action=click&data=WyI1MzciLCIxMnNwaWs2c3dhZXM4Y2t3b2MwbzBzZ29rbzAwZ3NvZyIsIjMxNSIsImUzMjhkNmRkZDUyZiIsZmFsc2Vd|Fil Info Recherche Université de Paris]] du 20/12/2021 * [[https://fondation-uparis.org/?mailpoet_router&endpoint=track&action=click&data=WzMyNiwiY2UxZjdlOTI1OTFhZjg1MDFhNjcwMWZmNTE0MzY2YmYiLCI2IiwiYjQzZTUwNTJlYjY2IixmYWxzZV0|Newsletter de la Fondation Université de Paris]] de décembre 2021 * [[http://0x0qr.mjt.lu/nl2/0x0qr/s429.html|MathisInfos n°55]] de décembre 2021. A lire, les informations sur les candidatures pour les [[http://0x0qr.mjt.lu/lnk/AV8AAA8s6qUAAAAJnaoAABVTu74AAAAAtz8AAM_aABkriQBhy1D-SOX41NwsSLiOAIz5Z2mQWQAYfD4/3/iHvvrqsbfiD1WK0nIVKRvw/aHR0cHM6Ly9zY2llbmNlc21hdGhzLXBhcmlzLmZyL25vcy1wcm9ncmFtbWVzL21hdGhpbnBhcmlzMjAyMA|allocations doctorales MathInParis2020]] (échéance 13/02/2022) et les [[http://0x0qr.mjt.lu/lnk/AV8AAA8s6qUAAAAJnaoAABVTu74AAAAAtz8AAM_aABkriQBhy1D-SOX41NwsSLiOAIz5Z2mQWQAYfD4/1/FOvm5qVRHDwFbBbOJRPd7Q/aHR0cHM6Ly9zY2llbmNlc21hdGhzLXBhcmlzLmZyL25vcy1wcm9ncmFtbWVzL3Bnc20tbWFzdGVy|bourses de master PGSM]] (échéance 24/02/2022) \\ === Agenda de la semaine du 10 janvier au 14 janvier === [[:seminaires:numeration:|One world numeration seminar]] · Mardi 11 janvier, 14:30, Online · \\ **Philipp Gohlke** (Universität Bielefeld), //Zero measure spectrum for multi-frequency Schrödinger operators// [[:seminaires:pps:|Preuves, programmes et systèmes]] · Jeudi 13 janvier, 10:30, Room 3052 · \\ **Xavier Rival** (École normale supérieure), //TBA// [[:seminaires:combi:|Combinatoire énumérative et analytique]] · Jeudi 13 janvier, 14:00, Room 3052 et sur zoom · \\ **Eva Philippe**, //Sweep polytopes and sweep oriented matroids// [[:seminaires:cat:|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// [[:seminaires:greta:|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//