Section: Dissemination

Promoting Scientific Activities

Scientific events organisation

Member of organizing committees

Didier Rémy is a member of the steering committees of the OCaml workshop and the ML Family workshop.

Scientific events selection

Chair of conference program committees

Arthur Charguéraud served as program committee chair for for the second International Workshop on Coq for Programming Languages (CoqPL 2016).

Damien Doligez served as program committee chair for the OCaml Users and Developers workshop (OUD 2015).

Member of conference program committees

Umut Acar was a member of the program committees of the 30th IEEE International Parallel and Distributed Processing Symposium (IPDPS 2016) and of the workshop on Algorithms and Systems for MapReduce and Beyond (BeyondMR 2016). He was also a member of the External Review Committee of the 43rd ACM Symposium on Principles of Programming Languages (POPL 2016).

Xavier Leroy was a member of the program committees of the 1st Summit on Advances in Programming Languages (SNAPL 2015) and of the Compiler Construction conference (CC 2016).

Xavier Leroy was a member of the award committee for the 2015 ACM SIGPLAN Software System award.

Mike Rainey was a member of the program committee of the International Conference on Functional Programming (ICFP 2015).

Arthur Charguéraud and Didier Rémy were members of the program committee of the European Symposium on Programming Languages (ESOP 2016).

Reviewer

In 2015, the members of Gallium reviewed at least 80 conference submissions.

Journal

Member of editorial boards

Xavier Leroy is area editor (programming languages) for the Journal of the ACM. He is on the editorial board for the Research Highlights column of Communications of the ACM. He is a member of the editorial board of the Journal of Automated Reasoning.

François Pottier is a member of the editorial board of the Journal of Functional Programming.

Reviewer

In 2015, the members of Gallium reviewed at least 4 journal submissions and 10 grant proposals.

Leadership within the scientific community

Pierre Courtieu and Xavier Leroy are members of the Coq steering commitee.

Research administration

Xavier Leroy is délégué scientifique adjoint of Inria Paris-Rocquencourt and an appointed member of Inria's Commission d'Évaluation. In 2015, he participated in the following Inria hiring and promotion committees: jury d'admissibilité CR2 Paris-Rocquencourt (vice-chair); jury d'admissibilité CR2 Nancy; and promotions CR1. He was a member of the hiring committee for a professor position at ENS Rennes.

Luc Maranget is an elected member of the Comité Technique Inria.

Luc Maranget chairs the Commission des utilisateurs des moyens informatiques – Recherche of Inria Paris-Rocquencourt.

François Pottier is a member of the Commission de Développement Technologique and (as of January 2016) chairs the Comité de Suivi Doctoral of Inria Paris.

Didier Rémy represents Inria in the commission des études of the MPRI master, co-organized by U. Paris Diderot, ENS Cachan, ENS Paris, and École Polytechnique.

Didier Rémy is Inria's Deputy Scientific Director (ADS) in charge of Algorithmics, Programming, Software and Architecture.