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 asd automates cat combi distribue doctorants db 175 176 195 196 201 209 220 229 249 251 276 277 297 298 299 322 348 349 350 351 358 359 361 423 424 425 426 427 436 437 440 528 544 548 559 570 575 582 597 598 599 600 627 636 671 672 702 715 727 archives futur doctorants2017 doctorants2018 doctorants2019 doctorants2020 doctorants2021 doctorants2022 doctorants2023 doctorants2024 Séminaire des membres non-permanents Séminaire des membres non-permanents 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