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


Actualités

  • 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


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