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 db 14 15 16 18 19 41 42 43 45 61 80 98 99 100 101 104 117 149 150 159 160 173 185 239 240 246 248 255 259 260 261 278 301 303 304 308 309 311 312 315 331 345 390 391 392 393 394 395 412 418 428 432 443 444 445 459 460 532 547 557 568 569 574 576 583 603 604 611 612 613 614 622 645 648 659 660 668 669 687 688 689 694 704 716 717 750 archives futur Archives combi2016 combi2017 combi2018 combi2019 combi2020 combi2021 combi2022 combi2023 combi2024 Combinatoire énumérative et analytique Combinatoire énumérative et analytique 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