Plan du site Voici un plan du site de toutes les pages disponibles, triées par catégories. actualites anr anr-ducat anr-enedisc 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 Entretien avec Hugo Herbelin et Paul-André Melliès, directeurs de recherche INRIA à l'IRIF, qui ont obtenu un financement pour leur projet ERC Synergie Entretien avec Valérie Berthé, directrice de recherche CNRS à l'IRIF, qui a obtenu un financement pour son projet ERC Synergie 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 Gabriel Scherer, professeur des universités Rencontre avec Giulio Manzonetto, professeur des universités Guillaume Aubian, ancien doctorant à l'Irif : le défi des graphes colorés Rencontre avec Guillaume Baudart, chargé de recherche Rencontre avec Guillaume Geoffroy, maître de conférences à l’Université Paris Cité 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 Maël Luce, ancien doctorant à l'Irif : démêler les nœuds des réseaux de communication 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 Simona Etinski, former PhD student at IRIF: decoding the hardest protocols Interview with Simon Apers, CNRS Research Scientist at IRIF Interview with Simon Apers, CNRS Research Scientist at IRIF Srinidhi Nagendra, former PhD student at IRIF: the tester of distributed programs 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 quantech_paris reciprog rencontres seminaires templates users wiki AGaPe mini-workshop agenda ANR Project ENEDISC 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) Bienvenue Actualités logop7cnrs logoupcnrs MoMA (Modern Optimization Methods and Models in Algorithm Design) 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