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 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 acs adg algocomp asd automates cat db 6 7 8 9 10 24 25 26 27 28 29 30 31 32 33 34 40 53 72 79 86 91 123 136 138 144 145 174 177 180 192 198 200 225 237 250 274 275 283 292 313 343 442 530 558 577 580 587 628 646 661 670 708 723 728 737 748 749 archives futur cat2015 cat2016 cat2017 cat2018 cat2019 cat2020 cat2021 cat2022 cat2023 cat2024 cat2025 Catégories supérieures, polygraphes et homotopie Catégories supérieures, polygraphes et homotopie combi distribue doctorants env gateau gel graphes greta hdr hors-series hott irif laag numeration picube pps programmation semantique sms these topos types verif Autres groupes de travail Evénements de l'IRIF Groupes de travail seminaires Séminaires en ligne Séminaires de recherche Soutenances weekseminars 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