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 env gateau graphes greta gtcombi hdr hors-series hott irif laag numeration picube pps programmation semantique semverif sms these types verif db 78 106 108 109 110 120 142 154 155 157 162 167 186 202 205 211 212 227 230 258 262 263 264 273 279 281 305 306 307 320 321 335 339 340 347 365 366 367 397 398 399 420 421 449 450 451 452 504 521 534 538 554 572 573 579 584 601 610 618 626 634 639 652 655 663 666 684 685 686 692 693 697 703 726 732 archives futur Archives Vérification Vérification verif2016 verif2017 verif2018 verif2019 verif2020 verif2021 verif2022 verif2023 verif2024 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