Welcome IRIF is a research laboratory of CNRS and Université Paris Cité, also hosting one Inria project-team. The research conducted at IRIF is based on the study and understanding of the foundations of all computer science, in order to provide innovative solutions to the current and future challenges of digital sciences. IRIF hosts about 200 people. Seven of its members have been distinguished by the European Research Council (ERC), six are members of the Institut Universitaire de France IUF), two are members of the Academia Europæa, and one is member of Académie des sciences. Notion of the day Social Networks Follow us on Twitter/X, LinkedIn and Mastodon for our latest news: News 19.7.2024 The holydays have started and you're already missing science? The rebroadcast of Omer Reingold's talk is now available. His talk was on “The multitude of group affiliations: Algorithmic Fairness, Loss Minimization and Outcome Indistinguishability”. 29.7.2024 The videoconferencing software 'Galène', developed by Juliusz Chroboczek, IRIF member, was used for the LibrePlanet 2024 conference, organized by the Free Software Foundation (FSF). A feedback report was published on their site: 5.7.2024 On the occasion of International Joint Conference on Automated Reasoning (IJCAR), Malika Boudiba, a France 3 Grand Est journalist, made an article : “Connaissez-vous cette discipline entre mathématiques et informatique qui révolutionne notre quotidien ?”. 5.7.2024 H. Feree, I. van der Giessen, S. van Gool, I. Shillito won the IJCAR best paper award for their article “Mechanised uniform interpolation for modal logics K, GL and ISL”. Congratulations! 9.7.2024 Thomas Ehrhard is an invited speaker of the 28th AILA Logic Meeting, which will take place in Udine (Italy) from 3 to 6 September 2024. 11.7.2024 Mark your calendar for September 16th. The Day on Probabilities in Theoretical Computer Science is coming! 7 invited speakers will cover a wide range of areas related to TCS and probabilities, including quantum, cryptography, algorithms, and more. To join us, register (free but mandatory) here: 5.7.2024 Lucie Guillou, Arnaud Sangnier and Nathalie Sznajder won the Petri Nets 2024 best paper award for their article “Safety Verification of Wait-Only Non-Blocking Broadcast Protocols”. Congratulations ! 16.7.2024 Giuseppe Castagna, Pierre-Louis Curien, and Jean-Jacques Lévy all contributed to writing a chapter of the new book “The French School of Programming.” Through a chapter, each of the 13 researchers was able to address the topic of their choice related to programming and software engineering. edit all the past news (These news are displayed using a randomized-priority ranking.) Agenda Limited number of events during the Summer break.