Actualités
Prix de thèse Gilles Khan
Amina Doumane, doctorante de l’IRIF, également lauréate du DIM RDM-IdF en 2014, remporte le prestigieux Prix de thèse Gilles Kahn de la Societé Informatique de France pour sa thèse intitulée On the infinitary proof theory of logics with fixed points.