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

Interactions with the scientific community

Collective responsibilities within INRIA

Damien Doligez chaired the Commission du Développement Technologique of INRIA-Paris Rocquencourt.

François Pottier is a member of INRIA's COST (Conseil d'Orientation Scientifique et Technologique) and of INRIA Paris-Rocquencourt's postdoctoral selection committee.

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

Collective responsibilities outside INRIA

Roberto Di Cosmo is a member of the Scientific Advisory Board and of the Board of Trustees of the IMDEA Software research institute in Madrid.

Xavier Leroy was a member of the AERES evaluation committee for the VERIMAG laboratory (Grenoble, February 2010).

Xavier Leroy was a member of the hiring committee for an assistant professor position at University Joseph Fourier, Grenoble.

Xavier Leroy was a member of the scientific committee for the ANR colloquium on embedded systems, security and safety (Toulouse, December 2010).

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. His term ends in December 2010.

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

Program committees and steering committees

Roberto Di Cosmo was a member of the program committee for the LoCoCo 2010 (Logics for Component Configuration) workshop.

Damien Doligez was a member of the program committee for the Journées Francophones des Langages Applicatifs (JFLA 2010).

Xavier Leroy was a member of the program committee of the Verified Software: Theories, Tools and Experiments workshop (VSTTE 2010), the Interactive Theorem Proving conference (ITP 2010), and the Compiler Construction conference (CC 2011). He was a member of the external review committee for the Programming Language Design and Implementation conference (PLDI 2010).

François Pottier was a member of the program committees of the European Symposium on Programming (ESOP 2011) and of the workshop on Syntax and Semantics of Low Level Languages (LOLA 2010).

François Pottier is a member of the steering commitee for the Types in Language Design and Implementation (ACM TLDI) workshop.

Didier Rémy was a member of the program committee of the ACM International Conference on Functional Programming (ICFP, Baltimore, USA, September 2010).

Ph.D. and habilitation juries

Roberto Di Cosmo was reviewer (rapporteur) of the habilitation of Daniel Le Berre (CRIL, Lens, December). He chaired the Ph.D. jury for Arthur Chargéraud (U. Paris Diderot, December) and was a member of the Ph.D. juries of Vincent Silès (École Polytechnique, November) and Ivan Noyer (ENSIIE, September).

Xavier Leroy was reviewer (rapporteur) for the Ph.D. of Élie Soubiran (École Polytechnique, September). He chaired the Ph.D. jury for Benoît Robillard (CNAM, November) and was a member of the Ph.D. juries for Johannes Kanig (U. Paris Sud, November) and Gustavo Petri (U. Nice, November).

Learned societies

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


previous
next

Logo Inria