Section: Dissemination

Promoting Scientific Activities

Scientific Events: Selection

Chair of Conference Program Committees

François Pottier was the program chair of the International Conference on Functional Programming (ICFP 2019) which took place in Berlin, Germany in August 2019.

Member of the Conference Program Committees

Xavier Leroy was on the program committee of PERR 2019, the 3rd Workshop on Program Equivalence and Relational Reasoning, part of the ETAPS 2019 joint conferences.

Xavier Leroy was on the program committee of FOSSACS 2020, the 23rd International Conference on Foundations of Software Science and Computation Structures, part of the ETAPS 2020 joint conferences.

Didier Rémy was a member of the program committee for FLOPS 2020, the 15th International Symposium on Functional and Logic Programming.

Journal

Member of the Editorial Boards

Xavier Leroy is area editor for Journal of the ACM, in charge of the Programming Languages area. He is a member of the editorial board of Journal of Automated Reasoning.

François Pottier is a member of the ICFP steering committee and a member of the editorial boards of the Journal of Functional Programming and the Proceedings of the ACM on Programming Languages.

Until September 2019, Didier Rémy was a member of the ML Family workshop steering committee.

Scientific Expertise

Didier Rémy co-authored the Inria white book on Cybersecurity [17], [18] and a companion document of Recommendations for Inria's Management.

Research Administration

Damien Doligez chairs the Caml Consortium.

François Pottier is a member of Inria Paris' Commission de Développement Technologique and the president of Inria Paris' Comité de Suivi Doctoral.

Didier Rémy is Inria's delegate in the MPRI's pedagogical and management board of the Master Parisien de Recherche en Informatique (MPRI).

Didier Rémy set up the Inria-Nomadic Labs partnership and is currently the co-chair of its steering committee.