Habilitation de Frédéric BLANQUI

Date: vendredi 13 juillet 2012 à 09:00 am

Lieu: salle 1C06, laboratoire PPS, 175 rue du Chevaleret, Paris 13e

Université: Denis Diderot (Paris 7)

Rapporteurs

• Gilles BARTHE, Directeur de recherche, Madrid Institute of Advanced Studies
• Bernhard GRAMLICH, Professeur, Technische Universität Wien
• Delia KESNER, Professeure, Université Denis Diderot

Autres membres du jury

• Nachum DERSHOWITZ, Professeur, Tel Aviv University
• Gilles DOWEK, Directeur de recherche, INRIA
• Claude KIRCHNER, Directeur de recherche, INRIA
• Dale MILLER, Directeur de recherche, INRIA (Président du jury)

Dossier

• Transparents
• Monographie
• Synthèse des activités
• Publications
• Logiciels