Plan du site Voici un plan du site de toutes les pages disponibles, triées par catégories. actualites dest archives archives_2017 archives_2018 archives_2019 archives_2020 archives_2021 archives_2022 archives_2023 dest tmp nouvelle_version sources Toutes les anciennes actualités archives archives_2017 archives_2018 archives_2019 archives_2020 archives_2021 archives_2022 archives_2023 archives_2024 archives_2025 IRIF Newsletter Focus actualites msg notion publi 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 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