Sitemap This is a sitemap over all available pages ordered by namespaces. 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 irif Rencontre avec Mirna DŽAMONJA, lauréate d’une bourse individuelle Marie CURIE Abhishek De, former PhD student at IRIF: A look into infinite proofs Entretien avec Thomas Ehrhard, co-lauréat du Prix Alonzo Church 2024 Rencontre avec Alexandre Roulois, nouvel informaticien du laboratoire, chargé web et assistance utilisateur Aliaume Lopez, ancien doctorant à l’Irif : entre logique et topologie Baptiste Louf, lauréat d’un prix solennel de thèse de la chancellerie des Universités de Paris Rencontre avec Christina Boura, professeure des universités Rencontre avec Cléophée Robin, nouvelle maîtresse de conférence à l'IRIF Claire Mathieu : une scientifique engagée, démissionnaire du Conseil présidentiel de la science Rencontre avec David Saulpic, chargé de recherche Interview with Omer Reingold, professor of computer science, for a Distinguished Talk on algorithmique fairness Interview with Simon Peyton Jones, Engineering Fellow at Epic Games, first speaker of the DTS event of 2023 Interview with Véronique Cortier, CNRS research director at LORIA, for the 1st Distinguished Talk of 2024 on Electronic voting Entretien avec Geoffroy Couteau, chargé de recherche au CNRS, qui a obtenu un financement pour son projet ERC Farzad Jafarrahmani, former PhD student at IRIF: About mathematical logic Filippo Brunelli, former PhD student at IRIF: For whom graphs and algorithms have no secrets. Rencontre avec Gabriel Scherer, chargé de recherche Gaëtan Douéneau-Tabot, lauréat de deux prix étudiant Gaëtan Douéneau-Tabot, ancien doctorant à l'Irif : optimiser pour toujours plus d'efficacité Rencontre avec Giulio Manzonetto, professeur des universités Rencontre avec Gabriel Scherer, professeur des universités Rencontre avec Guillaume Baudart, chargé de recherche Rencontre avec Guillaume Geoffroy, maître de conférences à l’Université Paris Cité Guillaume Aubian, ancien doctorant à l'Irif : le défi des graphes colorés Portraits de recherche Jonas Landman, lauréat d’un prix solennel de thèse de la chancellerie des Universités de Paris Rencontre avec Julien Narboux, nouveau maître de conférence à l'IRIF Rencontre avec Julien Narboux, nouveau maître de conférence à l'IRIF Klara Nosan, ancienne doctorante à l'Irif : les problèmes de zéros dans les modèles polynomiaux Rencontre avec Lauren K. Williams, en visite à l'IRIF pour une année Rencontre avec Lélia Blin, professeur des universités Rencontre avec Marie Albenque, directrice de recherche au CNRS Rencontre avec Matěj Stehlík, professeur en informatique à l'Université Paris Cité Meeting with Michele Orrù, CNRS researcher at IRIF Rencontre avec Mirna Džamonja, lauréate d’une bourse individuelle Marie CURIE Rencontre avec Mohammed Foughali, maître de conférences à l’Université Paris Cité Rencontre avec Pierre-Evariste Dagand, chargé de recherche CNRS Meeting with the founder of the QueeRIF meeting Robin Vacus, ancien doctorant à l'Irif : quand les systèmes complexes tentent de résoudre des problèmes de biologie Interview with Sarah Winter, associate professor at IRIF, Université Paris Cité Interview with Sergio Rajsbaum, one-year visitor at IRIF Interview with Simon Apers, CNRS Research Scientist at IRIF Interview with Simon Apers, CNRS Research Scientist at IRIF Simona Etinski, former PhD student at IRIF: decoding the hardest protocols Rencontre avec Sylvain Douteau, maître de conférences à l’Université Paris Cité Rencontre avec Tayssir Touili, directrice de recherche Victor Lanvin, lauréat d’un prix de thèse Génie de la Programmation et du Logiciel 2022 et ancien doctorant à l’IRIF Rencontre avec Vincent Jugé, maître de conférence Weiqiang Yu, former PhD student at IRIF: A world full of graphs postes publications reciprog rencontres seminaires 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