Plan du site Voici un plan du site de toutes les pages disponibles, triées par catégories. actualites anr anr-ducat 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 reciprog rencontres seminaires acs adg algocomp db 39 52 55 57 58 59 62 63 64 65 66 67 71 77 85 96 97 103 105 115 116 121 125 129 139 143 146 161 179 190 199 213 214 228 245 267 269 270 280 282 286 291 294 295 296 319 330 332 333 334 336 380 381 382 383 384 403 404 405 406 407 408 409 410 416 422 429 433 438 503 520 531 552 560 562 563 581 588 596 605 606 635 664 709 710 711 724 archives futur algocomp2016 algocomp2017 algocomp2018 algocomp2019 algocomp2020 algocomp2021 algocomp2022 algocomp2023 algocomp2024 Archives Algorithmes et complexité Algorithmes et complexité asd automates cat combi distribue doctorants env gateau graphes greta gtcombi hdr hors-series hott irif laag numeration picube pps programmation semantique semverif sms these 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 agenda 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 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