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 asd asv pps db intranet ag20231109 ag20231207 ag20240111 ag20240208 ag20240307 ag20240404 ag20240502 ag20241005 ag20250306 agpps agpps2021 candidaturescnrs2018 cnrs2019 cnrs2021 cnrs2024 cos2024 fmsp2019 fmsp2020 fmsp2021 hceres internationnal maths mcf2019 mcf2020 mcf2021 pr2019 pr2020 pr2021 pr2022 pr2023 prof2024 Preuves, programmes et systèmes patates Pôles 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) Actualités Bienvenue 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