Institut de Recherche en Informatique Fondamentale (IRIF)


image/svg+xml

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.

Réalisation d'une Synthèse Nationale des Mathématiques

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.

Colloque on Quantum Computing

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.

Accepted paper ISSAC 2021

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.

Project The step towards optical computers

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.

Accepted paper ICALP 2021

8.7.2021
Thomas Colcombet and Arthur Jaquard (IRIF) will present at ICALP 2021 their paper about a complexity approach to tree algebras.

Accepted paper ICALP 2021

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.

Accepted paper ICALP 2021

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.


(Ces actualités sont présentées selon un classement mêlant priorité et aléatoire.)

Nombre limité d'évènements durant les vacances d'été.