Lettre de l'IRIF du 10 décembre 2021 Edito Dans la lettre cette semaine, le prochain conseil de laboratoire, l’accueil des stagiaires de 3ème et l’ouverture du concours chercheurs et chercheuses du CNRS. Côté actualités scientifiques, un papier accepté à POPL 2022, un exposé au séminaire Francilien de Géométrie Algorithmique et Combinatoire au une nomination comme IFIP Fellow. Parmi les informations de nos partenaires, on notera l’AAP Emergence de la Ville de Paris, l’appel à projets Agence de l’innovation de défense et le programme de prématuration du CNRS. Et enfin, l’agenda de la semaine du 13 au 17 décembre. Bonne lecture ! Annonces de la direction Accueil stagiaires de 3ème : Du lundi 13 au vendredi 17 décembre, l'IRIF accueillera 5 élèves de 3ème dans le cadre de leur stage d'observation. Tout au long de la semaine, ils découvriront les différents aspects du laboratoire et ses différents métiers. Déplacements en train pendant les missions traitées par l'IRIF : En raison de la situation Covid, lorsque vous réserverez un billet de train, le secrétariat vous proposera systématiquement des billets en première classe afin de garantir les distances de sécurité entre vous et les autres passagers. [MAJ] Conseil de laboratoire : Le prochain conseil de laboratoire se tiendra le 14 décembre A l'ordre du jour, l'approbation des candidats soutenus par le laboratoire pour le concours chercheurs et chercheuses CNRS 2022, ainsi que le profil du poste de Maître·sse de Conférences de l'UFR de Mathématiques pour l'IRIF Etant donnée la situation sanitaire, le conseil aura lieu en visioconférence. Pour obtenir le lien, contacter direction@irif.fr Ouverture du concours chercheurs et chercheuses du CNRS : Du 7 décembre 2021 au 11 janvier 2022, le CNRS recrute 250 chercheurs et chercheuses de toutes nationalités et sans condition d’âge dans tous les domaines scientifiques. Pour consulter les offres et poser sa candidature : https://www.dgdr.cnrs.fr/drhchercheurs/concoursch/default-fr.htm. Ouverture des inscriptions : le 7 décembre 2021 à 13h Clôture des inscriptions : le 11 janvier 2022 à 13h Epreuves d’admissibilité : février – mars 2022 Epreuves d’admission : mars – mai 2022 Date de prise de fonction : le 1er octobre 2022 CNU27 - Note aux candidates et aux candidats à une promotion : Dans la continuité de ce qui existe depuis plusieurs mandatures, le CNU27 propose sur son site une note aux candidates et aux candidats à une promotion (avancement de grade). Cette note dispense un certain nombre de conseils pour la constitution du dossier et explicite les critères sur lesquels la section s'appuie. La section vous recommande bien évidemment la lecture de cette note, notamment à celles et ceux d'entre vous qui seront promouvables en 2022 et qui déposeront un dossier lors de cette campagne dont le calendrier est en ligne sur le site du ministère. Membres associés : La page Membres émérites et membres associés a été mise à jour pour plus de clarté sur le processus. Actualités Accepted paper / POPL 2022 : 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. Séminaire Francilien de Géométrie Algorithmique et Combinatoire : Matěj Stehlík (IRIF) donnera un exposé au séminaire francilien de géométrie algorithmique et combinatoire à l’Institut Henri Poincaré intitulé Edge-critical subgraphs of Kneser graphs. In a landmark paper from the late 1970s, Lovász proved a conjecture on the chromatic number of Kneser graphs using one of the first applications of algebraic topology in combinatorics. Schrijver sharpened the result by exhibiting a vertex-critical subgraph of the Kneser graph with the same chromatic number. I will sketch how we can go a step further, by constructing an edge-critical subgraph of the Kneser graph with the same chromatic number. Joint work with Tomas Kaiser. IFIP announces new fellows : Jacques Sakarovitch (IRIF) was elected new IFIP Fellow. IFIP Fellow is the most prestigious IFIP's technical distinction which is conferred by the IFIP General Assembly on a current or past member of an IFIP body in recognition of outstanding contributions in the field of information processing, in the role of a Technical Leader, Scientist, Engineer, or Educator. Appels d'offres et informations des partenaires Université de Paris / AAP Emergence Ville de Paris : L’appel à projets Emergence(s), de la Ville de Paris, vient d’être publié à cette adresse. Cet appel à projets s’adresse aux chercheurs ayant obtenu leur thèse après le 31/12/2011, et leur apporte un financement d’un maximum de 250 000 € sur 4 ans pour leur permettre de constituer leur équipe de recherche. La date limite de dépôt des projets a été fixée au 31 janvier 2022. Pour toute question relative au dépôt de votre projet ou demande d’accompagnement, contactez projets.recherche.sciences@u-paris.fr. CNRS / Prématuration CNRS 2022 : Le programme de prématuration du CNRS est reconduit en 2022, avec un budget conséquent (7.3M€). Les porteurs de projets sont invités à soumettre leurs dossiers de demande de financement au pôle valorisation de l’INS2I selon les échéances ci-dessous. Les projets retenus seront financés pour une durée de 12 à 18 mois avec un budget de l’ordre de 50 à 150 K€ selon la nature du projet. Consultez le dossier de candidature ici. Échéance 1 - date limite de la transmission des dossiers à l'INS2I : 31-janvier-2022 Échéance 2 - date limite de la transmission des dossiers à l'INS2I : 29-mars-2022 Échéance 3 - date limite de la transmission des dossiers à l'INS2I : 30-juin-2022 Échéance 4 - date limite de la transmission des dossiers à l'INS2I : 30-septembre-2022 CNRS / Appels à projets Agence de l'innovation de défense : L’Agence de l’innovation de défense (AID), partenaire stratégique du CNRS en matière de recherche contractuelle, dispose d’un programme de soutien à la recherche et à l’innovation décliné sous quatre axes listés ci-dessous. Les équipes intéressées sont invitées à consulter régulièrement la page dédiée aux appels à projets de l’AID et à répondre aux appels en phases avec leurs thématiques de recherche. Projets de technologies de défense Projets d’Accélération d’innovation Projets d’Innovation participative Projets de recherche Newsletter des partenaires : Les lettres arrivent sporadiquement aux membres de l'IRIF. Elles sont donc listées ci-dessous. L'actualité étudiante d'Université de Paris du 09/12/2021 CNRS Hebdo du 09/12/2021 avec le projet HPCQS, auquel a participé une équipe de l'IRIF. Lettre de l'INSMI du 09/12/2021 Université de Paris Infos du 10/12/2021 Agenda de la semaine du 13 décembre au 17 décembre Vérification · Lundi 13 décembre, 11:00, 3052 and Zoom link · Angelo Ferrando (University of Genova), Towards Runtime Verification of ROS applications Soutenances de thèses · Lundi 13 décembre, 14:00, Room Halle 265 & Zoom · Pierre Ohlmann (IRIF), Monotonic graphs for parity and mean-payoff games Algorithmique distribuée et graphes · Mardi 14 décembre, 15:00, Room 1007 · Laurent Beaudou (HSE), Of points and lines Algorithmes et complexité · Mercredi 15 décembre, 10:00, Room 1007 · Serge Massar (Laboratoire d’Information Quantique CP224, Université libre de Bruxelles), Characterizing the intersection of QMA and coQMA Soutenances de thèses · Mercredi 15 décembre, 14:00, Amphithéatre Gouges 1 & Youtube · Simon Mauras (IRIF), Analysis of Random Models for Stable Matchings Preuves, programmes et systèmes · Jeudi 16 décembre, 10:30, Virtual room at link (any password works) · Vasileios Koutavas (Trinity College Dublin), From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques Séminaire des doctorants · Jeudi 16 décembre, 11:00, Room 3052 · Abhishek De & Pierre Meyer, Multi-party encrypted communication between ASD, ASV and PPS Combinatoire énumérative et analytique · Jeudi 16 décembre, 14:00, Room 1007 · Corentin Henriet, TBD Analyse et conception de systèmes · Vendredi 17 décembre, 10:30, Room 1007 · Aliaume Lopez (LSV), Basic operational preorders for algebraic effects Automates · Vendredi 17 décembre, 14:30, Room 3052 · Léo Exibard, Extending Reactive Synthesis to Infinite Data Domains through Machines with Registers Graph Transformation Theory and Applications · Vendredi 17 décembre, 15:00, online · Paolo Bottoni (Department of Computer Science, Sapienza University of Rome, Italy), Request-Guarantee Agents and their Check-Transform-Enforce Processes