Institut de Recherche en Informatique Fondamentale

Research Institute on Fundamental Informatics


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. See more here.

Upcoming seminars

Vendredi 28 octobre 2016 · 10h30 · Salle 3052, Bâtiment Sophie Germain (SEE NOTE IN THE ABSTRACT)

Séminaire de l'IRIF · Yuri Gurevich (Microsoft Research) · IRIF expository talks series : Logic in Computer Science and Computer Engineering

In software industry, engineers do formal logic day in and day out, even though they may not realize that. As a rule, they have not studied logic. Instead, they spent a lot of time studying calculus which they use rarely, if ever. I'll try to illustrate why logic is so relevant and why it is hard for software engineers to pick it up.

IMPORTANT NOTE: For administrative reasons, those from outside of IRIF who wish to attend the seminar in “Salle 3052” should email by Wednesday 26/10 their name to Irène Guessarian at .

Vendredi 28 octobre 2016 · 14h30 · Salle 1006

Automates · Vincent Jugé (LSV, ENS de Cachan) · Is the right relaxation normal form for braids automatic?

Representations of braids as isotopy classes of laminations of punctured disks are related with a family of normal forms, which we call relaxation normal forms. Roughly speaking, every braid is identified with a picture on a punctured disk, and reducing step-by-step the complexity of this picture amounts to choosing a relaxation normal form of the braid.

We will study the right relaxation normal form, which belongs to this family of normal forms. We will show that it is regular, and that it is synchronously bi-automatic if and only if the braid group has 3 punctures or less.

Vendredi 28 octobre 2016 · 14h00 · Salle 1007

Catégories supérieures, polygraphes et homotopie · Maxime Lucas (IRIF) · Inversibilité dans les omega-catégories cubiques

Mercredi 02 novembre 2016 · 11h00 · Salle 1007

Combinatoire énumérative et analytique · Dan Betea (IRIF (postdoc projet Emergences)) · RSK geometrique

Jeudi 03 novembre 2016 · 10h30 · Salle 3052

Preuves, programmes et systèmes · Thibaut Balabonski (LRI, Université Paris Sud) · Optimisation de programmes C11 concurrents


Vendredi 4 novembre 2016 · Salle 3052


Mercredi 9 novembre 2016 · Bâtiment Sophie Germain

Journées des entrants 2016

Lundi 28 - Mardi 29 novembre 2016 · Amphi Turing / Salle des thèses

Journées Nationales Géocal-LAC 2016

Dimanche 15 - Vendredi 20 Janvier 2017 · Jussieu

POPL 2017


Université Paris-Diderot – Paris 7




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

Fondation Sciences Mathématiques de Paris