Amina Doumane

29.11.2017
Amina Doumane was awarded the Gilles Kahn prize for her PhD thesis entitled « On the infinitary proof theory of logics with fixed points » supervised by Alexis Saurin, David Baelde and Pierre-Louis Curien.

Wenjie Fang

29.11.2017
Wenjie Fang was awarded the Honorable Mention of the Gilles Kahn prize for his PhD thesis entitled « Aspects énumératifs et bijectifs des cartes combinatoires : généralisation, unification et application » and supervised by Guillaume Chapuy and Mireille Bousquet-Mélou.

Maurice Nivat

27.11.2017
Scientific Day in memory of Maurice Nivat, professor at Paris Diderot University and a pionneer of thoeretical computer science in France and in the world, who passed away on September the 21st, 2017.

15.11.2017
IRIF is happy to host and organize the 59th IEEE Symposium on Foundations of Computer Science (FOCS 2018), at Maison de la Chimie, Paris, October 07-09, 2018.

15.11.2017
2-day workshop on December 7-8: Closing workshop of ANR project on Restricted Data Access Models and 1st IRIF-IQC Workshop on Quantum Information Processing (CNRS bilateral collaboration).

06.10.2017
Guillaume Lagarde and Sylvain Perifel have solved a 20-year old conjecture related to Lempel-Ziv. This will be presented at the 29th ACM-SIAM Symposium on Discrete Algorithms (SODA 2018).

01.09.2017
IRIF has the great pleasure to welcome a new assistant professor: Bérénice Delcroix-Oger, an expert in combinatorics and computational algebra.

15.06.2017
Victor Lanvin is awarded the first prize for the ACM Student Research Competition Grand Finals, undergraduate category. The prize will be presented on June the 24th at the Turing Award Cerimony in San Francisco.

22.11.2017
6th French-Israeli Workshop on Foundations of Computer Science on November 22-23, 2017 at Tel-Aviv University, Israel.

06.11.2017
Newcomers Day on November 6, 2017 at Amphi Turing

12.10.2017
Back-to-work day of the "Proofs, programs and systems" pole on October 12-13, 2017 at room 3052.

10.08.2017
Closing workshop of ANR project MealyM on July 10-13, 2017 at Amphi Turing.

01.03.2017
The 5-year ERC project CombiTop of Guillaume Chapuy has started on March 1st, 2017. The purpose of this project is to use the ubiquitous nature of certain combinatorial topological objects called maps in order to unveil deep connections between several areas of mathematics.

30.01.2017
Amos Korman has been interviewed by Le Monde for his recent results on ants with several co-autors at IRIF.

15.01.2017
IRIF organizes the 44th ACM Symposium on Principles of Programming Languages (POPL 2017), Jussieu, Paris, January 15-21, 2017.