Team Gallium

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography

Section: Dissemination

Interaction with the scientific community

Collective responsibilities within INRIA

In september 2007, François Pottier was appointed a member of INRIA's COST ( Conseil d'Orientation Scientifique et Technologique ).

François Pottier is a member of the organizing committee for Le modèle et l'algorithme , a seminar series at INRIA Paris-Rocquencourt intended for a general scientific audience. François Pottier also organizes Gallium's local seminar.

Didier Rémy was vice-chairman of the hiring committee for the INRIA Paris-Rocquencourt CR2 competition.

Didier Rémy is a member of the committee for Délégations et Détachements .

Collective responsibilities outside INRIA

Sandrine Blazy is a member of the Board ( conseil d'administration ) of ENSIIE.

Xavier Leroy was a member of the scientific committee of the SeSUR 2007 ( Sécurité et sûreté informatique ) ANR programme.

Editorial boards

Xavier Leroy is co-editor in chief of the Journal of Functional Programming. He is a member of the editorial boards of the Journal of Automated Reasoning and the Journal of Formalized Reasoning.

François Pottier is an associate editor for the ACM Transactions on Programming Languages and Systems.

Didier Rémy is a member of the editorial board of the Journal of Functional Programming.

Program committees and steering committees

Sandrine Blazy chaired the program committee for the Journées Francophones des Langages Applicatifs (JFLA 2008).

Xavier Leroy is a member of the steering committee of the ACM Workshop on ML and the ACM Workshop Commercial Users of Functional Programming.

François Pottier served on the program committee for the PLPV 2007 workshop. He is a member of the steering committees for the ICFP conference and for the ML workshop.

Andrew Tolmach served on the program committee for the ICFP 2007 conference.

PhD and habilitation juries

Xavier Leroy was external examiner ( rapporteur ) for the Ph.D. thesis of Yann Hodique (university of Lille, april 2007).

François Pottier was a member of the jury (as advisor) for the Ph.D. defense of Yann Régis-Gianas (university Paris 7, november 2007).

Learned societies

Xavier Leroy and Didier Rémy are members of IFIP Working Group 2.8 (Functional Programming).

Honors and distinctions

Xavier Leroy was awarded the Michel Monpetit prize of the French Academy of Sciences.


previous
next

Logo Inria