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 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. 4.7.2025 Félicitations à Marie Albenque et Sylvain Schmitz qui viennent d'être élus au Comité National de la Recherche Scientifique (CoNRS) 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 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 à 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 9 juillet 2025, 15 heures, Salle 3052 Haotian Jiang (University of Chicago) Quasi-Monte Carlo Integration via Algorithmic Discrepancy Theory A classical approach to numerically integrating a function $f$ is Monte Carlo (MC) methods. Here, one evaluates $f$ at random points and the estimation error scales as $\sigma(f)/n^{1/2}$ with $n$ samples, where $\sigma(f)$ is the standard deviation of $f$. A different approach, widely used in practice, is using quasi-Monte Carlo (QMC) methods, where $f$ is evaluated at carefully chosen deterministic points and the error scales roughly as $1/n$. Both methods have distinctive advantages and shortcomings, and a key question has been to find a method that combines the advantages of both. In this talk, I will introduce the fascinating area of QMC methods and their connections to various areas of mathematics and to geometric discrepancy. I will then show how recent developments in algorithmic discrepancy theory can be used to give a method that combines the benefits of MC and QMC methods, and even improves upon previous QMC approaches in various ways. The talk is based on joint work with Nikhil Bansal (University of Michigan). Soutenances de thèses Vendredi 11 juillet 2025, 14 heures, Turing amphitheatre Vincent Moreau A topological and fibrational approach to higher-order automata Algorithmes et complexité Mercredi 16 juillet 2025, 11 heures, Salle 3052 Atsuya Hasegawa (University of Tokyo) Non encore annoncé.