Institut de Recherche en Informatique Fondamentale

Research Institute on Fundamental Informatics


IRIF

IRIF is a research unit co-founded by CNRS and University Paris-Diderot, as UMR 8243, resulting from the merging of the two research units LIAFA and PPS on January 1st, 2016. Its scientific objectives are at the core of computer science, focusing on the following aspects: mathematical foundations of computer science; computational models and proofs; models, algorithms and system design.



Upcoming seminars



Events


Mercredi 7 – Vendredi 9 septembre 2016 · Institut Henri Poincaré (IHP)

Approx-Random 2016


Dimanche 15 - Vendredi 20 Janvier 2017 · Jussieu

POPL 2017



Affiliation


Université Paris-Diderot – Paris 7

CNRS


Departments

Partners


Fédération de Recherche en Mathématiques de Paris Centre

Fondation Sciences Mathématiques de Paris

INRIA