Bienvenue L'IRIF est une unité mixte de recherche (UMR 8243) entre le CNRS et l'Université Paris Cité, et héberge une équipe-projet Inria. Les recherches menées à l'IRIF reposent sur l’étude et la compréhension des fondements de toute l’informatique, afin d’apporter des solutions innovantes aux défis actuels et futurs des sciences numériques. L'IRIF regroupe près de deux cents personnes. Sept de ses membres ont été lauréats de l'European Research Council (ERC), trois sont membres de l'Institut Universitaire de France (IUF), deux sont membres de l'Academia Europæa, et un est membre de l'Académie des sciences. Notion du jour Réseaux Sociaux Suivez nous sur LinkedIn, Bluesky et Mastodon : Actualités 4.7.2025 Félicitations à Marie Albenque et Sylvain Schmitz qui viennent d'être élus au Comité National de la Recherche Scientifique (CoNRS) 8.7.2025 Journées PPS 2025 The 2025 PPS Days will take place from Tuesday, July 1 to Thursday, July 3. In particular they will contain: a general meeting of PPS on July 2, at 16:00, an invited talk by Guy McCusker on July 3, at 10:00. They will mainly be located in the Pierre-Gilles de Gennes amphitheater of Université Paris Cité, Condorcet building. 18.6.2025 Mouloud Amara (étudiant master MPRI), Mohammed Foughali, Giovanni Bernardi et Adrian Francalanza (Université de Malte) recevront un Distinguished Paper Award à ECOOP 2025 pour leur papier “A theory of (Linear-Time) Timed Monitors”. Ce travail, réalisé en grande partie durant la première année de master de Mouloud Amara (TRE + stage d’été), est le premier qui résout le problème de la monitorabilté pour une logique temporisée expressive (elle-même proposée par les auteurs). Consultez Hal pour avoir plus de détails 17.6.2025 Félicitations aux cinq papiers coécrits par des membres de l'IRIF acceptés à la conférence CRYPTO 2025 (conférence de tout premier plan et l'une des deux conférences majeures en cryptographie). Retrouvez la liste complète des papiers acceptés à CRYPTO 2025 Ou encore la liste plus détaillée avec les abstracts des papiers 17.6.2025 Félicitations à Niklas Kochdumper (ex-Postdoc de l'IRIF), Mohammed Foughali, Peter Habermehl et Eugene Asarin qui ont reçu le Best Repeatability Award à HSCC 2025 pour leur papier “Robust Identification of Hybrid Automata from Noisy Data” 18.6.2025 L'IRIF est fier d'annoncer que Mickaël Laurent (doctorant) dont la thèse encadrée à l'Irif par Giuseppe Castagna et co-encadrée par Kim Nguyen au laboratoire LMF vient d'obtenir le prix de thèse GPL (Génie Logiciel et Programmation) 2025 2.6.2025 Pour Hugo Herbelin et Paul-André Melliès, le chiffre 4 semble être un porte-bonheur : pendant 4 ans, c'est à 4 qu'ils ont construit leur projet pour finalement obtenir leur bourse Synergie du programme de recherche européen (ERC). Avec Philippe de Groote et Carlos Simpson, la langue naturelle mathématique n'aura plus de secret. Rencontre et échanges avec Hugo Herbelin et Paul-André Melliès, directeurs de recherche Inria, porteurs du projet MALINCA. “Avec notre ERC, nous espérons pouvoir comprendre comment, à l'intérieur d'un texte mathématique (que l'on peut trouver dans un article, dans une page de livre de maths), qui est écrit dans ce que l'on appelle une langue naturelle (anglais, français, etc.), le texte contient en lui-même les éléments de sa correction mathématique.” 23.5.2025 Nous annonçons avec fierté que neuf papiers de dix scientifiques de l'IRIF on été selectionnés pour l'ICALP 2025! Félicitations à Pierre Fraigniaud, Frédéric Magniez, Simon Apers, Mikaël Rabie, Miklos Santha, Giannos Stamoulis, Olivier Idir, Valérie Berthé, Junyao Zhao et Thomas Colcombet. Vous pouvez retrouver ici tous les papiers acceptés edit toutes les anciennes actualités (Ces actualités sont présentées selon un classement mêlant priorité et aléatoire.) Agenda Nombre limité d'évènements durant les vacances d'été. Algorithmes et complexité Mercredi 16 juillet 2025, 11 heures, Salle 3052 Atsuya Hasegawa (University of Tokyo) Maximum Separation of Quantum Communication Complexity With and Without Shared Entanglement We present relation problems whose input size is n such that they can be solved with no communication for entanglement-assisted quantum communication models, but require Ω(n) qubit communication for 2-way quantum communication models without prior shared entanglement. This is the maximum separation of quantum communication complexity with and without shared entanglement. To our knowledge, our result even shows the first lower bound on quantum communication complexity without shared entanglement when the upper bound of entanglement-assisted quantum communication models is zero. The problem we consider is parallel repetition of any non-local game which has a perfect quantum strategy and no perfect classical strategy, and for which a parallel repetition theorem holds with exponential decay. Based on joint work (arXiv:2505.16457) with Francois Le Gall and Augusto Modanese.