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.
Follow us on Twitter/X, LinkedIn and Mastodon for our latest news:
10.4.2024
IRIF is pleased to announce its second Distinguished Lecture of the year! Our invited speaker is Omer Reingold, professor of computer science at Stanford University and the director of the Simons Collaboration on the Theory of Algorithmic Fairness (Simons Foundation). He will talk about Algorithmic Fairness. Anyone interested is welcome to join us for this talk!
12.4.2024
The rerun of Véronique Cortier Distinguished Talk that was held on February is now available on the IRIF YouTube channel. Her subject was: “Electronic voting: design and formal verification”.
10.4.2024
Three scientific outreach projects by IRIF researchers have been selected for the 2024 edition of France-Paris Pint of Science. The idea is to discover a scientific theme or subject in a bar. Our researchers will be talking about data protection, graphs and quantum computing.
28.3.2024
The Belgian Mathematical Society (BMS) has awarded Mirna Džamonja (CNRS, IRIF, Université de Paris) with the BMS “Godeaux lecture prize”. “The prize is awarded every year, upon proposal from a BMS board member, to a prominent belgian or international mathematician who is invited to give a talk at a conference in Belgium.” Congratulations!
12.3.2024
Hugo Herbelin, research director at Inria in IRIF, is organizing the next french speaking Horizon Maths day on the topic: Mathematical Proof and Software Safety. It will take place on Wednesday, March 27, 2024, from 9 a.m. to 6 p.m. at the Henri Poincaré Institute (5 rue Pierre et Marie Curie, Paris 5th), Hermite amphitheater. Free but mandatory registration:
19.3.2024
After being increased in September 2023, the budget allocated to the french Higher Education and Research is finally reduced by 904 million euros. The podcast “La Science, CQFD” by France Culture wondered how French research is faring and what direction it is taking. Claire Mathieu, research director at CNRS at IRIF, intervenes.
27.3.2024
We welcome a new research director at IRIF, Tayssir Touili. Her areas of interest are Malware Detection, Software Verification and Formal Methods. You can meet her in room 4028A.
15.3.2024
The 2nd french speaking conference «On éteint, on réfléchit, on discute» organized at Université Paris Cité by François Laroussinie focuses on «Les communs numériques» (“Digital Commons”). Serge Abiteboul and Valerie Peugeot are the invited speakers. It will be held on March 19, 2024, from 4pm to 6pm. This is a free of charge event.
(These news are displayed using a randomized-priority ranking.)
Verification
Monday April 29, 2024, 11AM, 3052 and Zoom link
Niklas Kochdumper (IRIF) Neural Network Verification using Polynomial Zonotopes
Enumerative and analytic combinatorics
Tuesday April 30, 2024, 11AM, Salle 3058
Séminaire Reporté Pas de séance
Algorithms and complexity
Tuesday April 30, 2024, 11AM, Salle 3052
André Chailloux (INRIA Paris) The Quantum Decoding Problem
The purpose of this paper is to introduce and to lay a firm foundation for QDP. We first show QDP is likely to be easier than classical decoding, by proving that it can be solved in quantum polynomial time in a large regime of noise whereas no non-exponential quantum algorithm is known for the classical decoding problem. Then, we show that QDP can even be solved (albeit not necessarily efficiently) beyond the information theoretic Shannon limit for classical decoding. We give precisely the largest noise level where we can solve QDP giving the information theoretic limit for this new problem. Finally, we study how QDP can be used in the DRT reduction. First, we show that our algorithms can be properly used in the DRT reduction showing that our quantum algorithms for QDP beyond Shannon capacity can be used to find minimal weight codewords in a random code. On the negative side, we show that the DRT reduction cannot be, in all generality, a reduction between finding small codewords and QDP by exhibiting quantum algorithms for QDP where this reduction entirely fails. Our proof techniques include the use of specific quantum measurements, such as q-ary unambiguous state discrimination and pretty good measurements as well as strong concentration bounds on weight distribution of random shifted dual codes, which we relate using quantum Fourier analysis.
Distributed algorithms and graphs
Tuesday April 30, 2024, 3:15PM, 3052 Sophie Germain
Gianlorenzo D'Angelo (GSSI) Sparse Temporal Spanners with Low Stretch
Distributed algorithms and graphs
Tuesday April 30, 2024, 11AM, 1003 Sophie Germain
Alexis Baudin (LIP6) Faster maximal clique enumeration in large real-world link streams
Non-permanent members' seminar
Thursday May 2, 2024, 4PM, Salle 3052
Ulysse Lechine Introduction to Kolmogorov complexity
We will present an introduction to Kolmogorov theory and some beautiful applications. We will also talk about a new recent result of Léchine and Seiller ( https://hal.science/hal-04539439 ) which features a very neat open combinatorics problem which you may help solve. No background is needed.
Syntax Meets Semantics
Thursday May 2, 2024, 2PM, Salle 3071
Mariana Milicich (IRIF, Universite Paris Cite) Hybrid Intersection Types for PCF
Higher categories, polygraphs and homotopy
Friday May 3, 2024, 2PM, Salle 3058
Félix Loubaton (MPIM) Construction de Grothendieck lax
Verification
Monday May 6, 2024, 11AM, 3052 and Zoom link
Giovanni Bernardi (IRIF) To be announced.
One world numeration seminar
Tuesday May 7, 2024, 2PM, Online
Tom Kempton (University of Manchester) The Dynamics of the Fibonacci Partition Function