image/svg+xml Bienvenue L'IRIF est une unité mixte de recherche (UMR 8243) entre le CNRS et l'Université de Paris, qui 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. Six de ses membres ont été lauréats de l'European Research Council (ERC), cinq 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. Tweets by IRIF_Paris Notion du jour Actualités 26.7.2021 Le Hcéres lance la réalisation d’une synthèse disciplinaire nationale consacrée aux mathématiques. Valérie Berthé (IRIF) fait partie du comité des 16 personnalités chargées de rédiger un rapport de synthèse sur les mathématiques françaises. Lire le communiqué de presse. 19.7.2021 Le colloque « Recent Advances on Quantum Computing » organisé par Frédéric Magniez (IRIF) et qui s'est tenu les 17 et 18 juin au Collège de France, est désormais disponible en ligne. 19.7.2021 Sylvain Périfel and Mahsa Shirmohammadi (IRIF), Nikhil Balaji and James Worrell (University of Oxford) will present at ISSAC 2021 an article about Cyclotomic Identity Testing and Applications. 19.7.2021 Simona Etinski, PhD student at IRIF is jointly in charge of one of the projects of The International Research School (IRS). In the project “The step towards optical computers”, the goal is to simulate a work of a device that is based on the laws of optics. Simona’s role, as a co-tutor in this project, is to help the students to finish their task and successfully present it at the end of the school. Watch here the video explaining the project. 8.7.2021 Thomas Colcombet and Arthur Jaquard (IRIF) will present at ICALP 2021 their paper about a complexity approach to tree algebras. 7.7.2021 Claire Mathieu (IRIF), Chien-chung Huang, Mathieu Mari and Jens Vygen will present at ICALP‘2021 an article about approximating maximum integral multiflows on bounded genus graphs. 8.7.2021 Antonio Casares & Thomas Colcombet (IRIF) and Nathanaël Fijalkow (Labri) will present at ICALP 2021 their research about optimal transformations of Muller conditions. edit toutes les anciennes actualités (Ces actualités sont présentées selon un classement mêlant priorité et aléatoire.) Événements Nombre limité d'évènements durant les vacances d'été.