Team π.r²

Overall Objectives
Scientific Foundations
Application Domains
New Results
Other Grants and Activities

Section: Dissemination

Interaction with the scientific community

Collective responsibilities

Pierre-Louis Curien is deputy director of the Foundation “Sciences Mathématiques de Paris”.

Hugo Herbelin coordinated the ADT Coq and the development of Coq.

Editorial activities

Pierre-Louis Curien is co-editor in chief of Mathematical Structures in Computer Science, and is an editor of Theoretical Computer Science and of Higher-Order and Symbolic Computation.

Pierre-Louis Curien is guest editor for a special issue of Logical Methods in Computer Science in connection with the conference TLCA 2009 (to appear in 2010).

Program committees and organising committees

Andreas Abel serves on the PC for FoSSaCS 2010.

Pierre-Louis Curien was the chairman of the conference Typed Lambda Calculus and Applications 2009 in Brasilia (July 2009), and is member of the PC of Logic Colloquium 2010. He is also taking part in the PC of the workshop Categorical logic, a satellite workshop of the joint conference MFCS & CSL 2010 in Brno (August 2010).

Hugo Herbelin organised the first Coq workshop held in Munich in August 2009 as a satellite event of the TPHOLs conference.

Alexis Saurin serves on the program committee for the workshop Games and Logic for Programming Languages (GaLoP V, ), a satellite event of ETAPS 2010.


In December 2009, Pierre-Louis Curien and Pierre Letouzey have been members of the “Comité de Sélection” for a position of “Maître de Conférences” at university Paris 13 Villetaneuse.

In 2009, Pierre Letouzey has been part of the jury of the entrance examination for the E.N.S. of Paris, Lyon, and Cachan (“MP” branch, “admissibilité”). He has been in charge of the written examination of Computer Science, he created the exam's content, and (with two colleagues) he graded the exam papers of the candidates.

Ph.D. and habilitation juries

Pierre-Louis Curien was a member of the jury of the thesis of Jesus Aranda (Ecole Polytechnique). He was a reviewer for the Habilitations of Antonio Bucciarelli (Paris 7), Krzysztof Worytkiewicz (Marseille), Daniel Hirschkoff (ENS Lyon) and Olivier Laurent (Paris 7).


Logo Inria