Plan du site Voici un plan du site de toutes les pages disponibles, triées par catégories. actualites anr anr-ducat anr-enedisc calculator commissions contrats db distinctions egalite-fh en actualites calculator contrats db distinctions egalite-fh environnement equipes formation gt gt-coa informations inria international intranet logiciels mediation poles portraits positions postes publications rencontres seminaires acs adg algocomp algocomp2016 algocomp2017 algocomp2018 algocomp2019 algocomp2020 algocomp2021 algocomp2022 algocomp2023 algocomp2024 algocomp2025 Algorithms and complexity Algorithms and complexity asd automates cat combi distribue doctorants env gateau gel graphes greta hdr hors-series hott irif laag numeration picube pps programmation semantique sms these topos types verif Other working groups IRIF events Working groups seminaires Online seminars Research seminars Defences weekseminars templates users agenda 2019 Automata, Structures, and Verification Pole Day Welcome to IRIF Equality GDRI Linear Logic Plenary Meeting 2018 Welcome navbar Verification, Interaction and Proofs Workshop on Topological Combinatorics environnement equipes essai evenements formation fraigniaud-workshop gt gt-coa gt-scalp gtp informations inria international intranet livres logiciels mediation pi.r2 playground poles portraits postes publications quantech_paris reciprog rencontres seminaires templates users wiki AGaPe mini-workshop agenda ANR Project ENEDISC ANR PRC project Probabilistic Programming Semantics (PPS) ANR PRC project Probabilistic Programming Semantics (PPS) bandeau Bienvenue à l'IRIF Groupe de Travail Blockchain carrousel Egalités Événements GDRI Linear Logic (GDRI-LL) Bienvenue Actualités logop7cnrs logoupcnrs MoMA (Modern Optimization Methods and Models in Algorithm Design) Motion du 6 juillet 2020 navbar pagefooter Scientific Meeting in Honor of Pierre-Louis Curien ANR PPS 4th general meeting ANR PPS 4th general meeting ANR PPS 5th meeting Fourth PPS meeting - Jan 2023 4-6 Joint PPS - PIHOC - DIAPASoN Workshop Joint PPS - PIHOC - DIAPASoN Workshop robots twitter Workshop on Topological Combinatorics