Section: Dissemination

Promoting Scientific Activities

Scientific Events Organisation

Member of the Organizing Committees

• Anders Mörtberg was an organizer of the 3rd workshop on Homotopy Type Theory and Univalent Foundations in Oxford, 8-9 September.

Chair of Conference Program Committees

• Yves Bertot was program committee co-chair for CPP'17 (Certified Programs and Proofs), in Paris, in January 2017.

• Yves Bertot is program committee co-chair for CoqPL'18 (Coq for Programming Lanugages), in Los Angeles, in January 2018.

Member of the Conference Program Committees

• Laurence Rideau was member of the program committee for JFLA'2018 (Journées francophones des langages applicatifs).

Reviewer

• Members of the team reviewed papers for JFLA (Journées Francophones des Langages Applicatifs), PoPL (Principles of Programming Languages), CPP (Certified Programs and Proofs), ITP (Interactive Theorem Proving), LPAR (Logic for Programming, Artificial Inteligence, and Reasoning), TACAS (Tools and Algorithms for the Construction and Analysis of Systems).

Journal

Reviewer - Reviewing Activities

• Members of the team reviewed papers for JAR (Journal of Automated Reasoning), and MSCS (Mathematical Structures in Computer Science).

Invited Talks

• Anders Mörtberg gave an invited talk at TTT (Type-Theory based Tools) in Paris in January and an invited talk at the workshop on Syntax and Semantics of Type Theory in Ljubljana in February.

• Cyril Cohen was invited for a talk at the workshop on Real Verification in South Korea in July.

• Damien Rouhling gave an invited talk at a meeting of the ANR-funded FastRelax project.

Scientific Expertise

• Yves Bertot performed a project review for the Dutch research funding agency (NWO).

Research Administration

• Yves Bertot is a member of the "Bureau du comité des projets".

• Yves Bertot is a member of the scientific committee for Academy "RISE" of University Côte d'azur.

• Yves Bertot was a member of the national working group for the strategic plan of Inria.

• Benjamin Grégoire is a member of the committee on the computer tool usage (CUMI) for the Sophia-Antipolis Méditerranée Inria center.

• José Grimm is a member of the local committee for hygiene and work safety.

• Laurence Rideau was a member of the Jury for hiring new researchers at Inria Sophia Antipolis (Jury d'admissibilité de chargés de recherche, Inria Sophia Antipolis Méditerranée).