Section: Dissemination
Promoting Scientific Activities
Scientific Events Selection
Member of the Conference Program Committees
Xavier Leroy was on the program committee of CADO 2018, the special session on Compiler, Architecture, Design and Optimization of the 16th International Conference on High Performance Computing and Simulation.
Michel Mauny has been a member of the program committee of the International Symposium on Image, Video and Communications (ISIVC 2018).
François Pottier was a member of the program committee of ICFP 2018, the ACM International Conference on Functional Programming.
Didier Rémy was a member of the program committee of FLOPS 2018, the 14th International Symposium on Functional and Logic Programming.
Journal
Member of the Editorial Boards
Xavier Leroy is area editor (programming languages) for Journal of the ACM. He is a member of the editorial board of Journal of Automated Reasoning.
Until September 2018, Michel Mauny has been a member of the steering committee of the OCaml workshop.
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.
Didier Rémy is a member of the steering committee of the ML Family workshop.
Research Administration
In 2018, Michel Mauny was chairman of the Scientific Committee of the Caml Consortium. He organized its annual meeting in December 2018.
Since May 2018, Michel Mauny has been Chief Executive Officer of the Inria Foundation.
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 Deputy Scientific Director (ADS) in charge of Algorithmics, Programming, Software and Architecture.
Didier Rémy is Inria's delegate in the pedagogical board of the Master Parisien de Recherche en Informatique (MPRI).