L'IRIF est une unité mixte de recherche (UMR 8243) entre le CNRS et l'Université Paris-Diderot, qui héberge deux équipes-projets 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), trois sont membres de l'Institut Universitaire de France (IUF) et deux sont membres de l'Academia Europæa.

Jeremy Siek

9.1.2019
IRIF has the great pleasure to welcome Jeremy Siek, professor at Indiana University Bloomingtom, who is visiting IRIF for five months. Jeremy is the creator of gradual typing and a world-renowed expert in typed programming languages. Meet him in office 4034a.
gradual typing

Gradual typing is a technique that allows the programmer to control which parts of a program check their type correctness (i.e., that apples are added to apples) before execution and which parts check it during their execution instead. It is often used to gradually add the before-execution check to dynamic languages, like JavaScript, which perform the check only at run-time, since it is generally better to find errors before the execution of a program rather than during its execution.
Pole ASV: Automates, Structures, Verification

10.1.2019
The day of the ASV pole will take place Monday January 21.

29.11.2018
Constantin Enea from IRIF organizes with Ruzica Piskac (Yale University), the 20th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2019). The conference is preceded by a winter school on formal methods.

Amaury Pouly

8.1.2019
IRIF has the great pleasure to welcome a new researcher (CNRS), Amaury Pouly, an expert in continuous models of computations, and the analysis and verification of continuous/hybrid dynamical systems.

Jean-Éric Pin

7.10.2018
Jean-Eric Pin, CNRS senior researcher at IRIF, is awarded the Arto Salomaa prize for his outstanding contribution to the field of Automata Theory.

Fabian Reiter

19.12.2018
Fabian Reiter now at LSV was awarded the Honorable Mention of the Gilles Kahn prize for his PhD Distributed Automata and Logic supervised by Olivier Carton at IRIF.

logo-cirm.jpg

5.11.2018
Amélie Gheerbrand and Cristina Sirangelo from IRIF co-organize with L. Libkin, L. Segoufin, and P. Senellart, the 2019 Spring School on Theoretical Computer Science (EPIT) on Databases, Logic and Automata, to happen the 7-12 April 2019 in Marseille. Preregistration before 13 January 2019.

Frédéric Magniez

21.12.2018
Frederic Magniez (IRIF) will present at QIP 2019 a quantum distributed algorithm to compute the diameter of a quantum distributed congested network. This is the first quantum distributed algorithm that overcomes classical algorithms for this task.

Combinatoire énumérative et analytique
jeudi 17 janvier 2019, 11h45, Salle 1007
Philippe Nadeau (Institut Camille Jordan (Lyon)) La symétrisation divisée

La symétrisation divisée est un opérateur linéaire sur les polynômes multivariés. Il a été introduit pour exprimer le volume des permutoèdres généralisés, et apparaît également dans le contexte du calcul de Schubert pour la variété de drapeaux. Nous expliquerons ces termes et décrirons divers aspects combinatoires et algébriques de la symétrisation divisée, notamment son action sur diverses familles de polynômes. Travail en commun avec V. Tewari (UPenn)

Gâteau du jeudi - Thursday Cake
jeudi 17 janvier 2019, 17h30, in front of room 3052
Cédric Ho Thanh, Farzad Jafarrahmani, Nicolas Jeannerod (IRIF CakeTM) Gâteau de l'IRIF

IRIF CakeTM is an amazing opportunity to meet people while simultaneously eating cakes baked by your fellow colleagues! Join us every Thursday, at 5pm, in front of room 3052 (Sophie Germain 3rd floor) for a weekly feast. You can also express your cooking skills and volunteer to bake a cake by sending an email to cake@irif.fr.

Catégories supérieures, polygraphes et homotopie
vendredi 18 janvier 2019, 14h00, Salle 1007
Benjamin Dupont (Université de Lyon) Cohérence modulo et doubles groupoïdes

Automates
vendredi 18 janvier 2019, 14h30, Salle 3052
Adrien Boiret () Learning Top-Down Tree Transducers using Myhill Nerode or Lookahead

Catégories supérieures, polygraphes et homotopie
vendredi 18 janvier 2019, 10h00, 3052
Amar Hadzihasanovic (RIMS Kyoto University) Charted omega-categories

A charted omega-category is like a strict omega-category, but instead of a globular set, it has an underlying regular polygraph: its cells have more complex pasting diagrams “charted” on their boundary. Several features of omega-categories generalise nicely, including joins and the monoidal biclosed structure of lax Gray products. I will detail some of the combinatorics involved, going deeper into the theory of globular posets than in my talk last July (which is not a prerequisite).