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 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 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 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. 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é.