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 db 17 20 47 48 49 56 60 69 70 82 87 93 111 112 113 114 124 126 130 141 158 163 164 171 172 181 191 193 194 197 208 210 221 224 232 238 252 256 257 266 285 287 288 314 318 327 328 329 346 352 354 355 360 385 386 387 388 389 396 448 524 525 526 539 541 555 556 571 592 593 602 615 616 617 624 629 662 665 675 676 678 679 695 696 705 733 734 735 746 751 752 archives Prochains exposés automates2016 automates2017 automates2018 futur Archives automates2016 automates2017 automates2018 automates2019 automates2020 automates2021 automates2022 automates2023 automates2024 Automates Automates speakers 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