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 db 38 44 50 73 81 83 127 128 135 140 151 153 165 169 170 182 184 203 268 284 289 290 325 337 338 411 434 435 533 586 643 644 674 698 722 742 743 745 747 archives futur Sémantique Sémantique semantique2016 semantique2017 semantique2018 semantique2019 semantique2020 semantique2021 semantique2022 semantique2023 semantique2024 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