Section: Dissemination

Promoting Scientific Activities

Scientific events organisation

Member of the organizing committees

Yves Bertot is member of the organizing committee for the UITP (User-Interfaces for Theorem Provers) series of workshops.

Enrico Tassi organized a Coq coding Sprint in Sophia Antipolis, June 22-25, in Sophia Antipolis. There were 39 attendants.

Yves Bertot organized a Coq workshop in Sophia Antipolis on June 26. There were around 40 attendants.

Scientific events selection

Member of the conference program committees

Yves Bertot was a member of the conference program committee for ITP'15 (Interactive Theorem Proving).

Cyril Cohen was a member of the conference program committee for JFLA'16 (Journées Francophones des Langages Applicatifs).

Laurent Théry was a member of the program committee for PxTP'15 (Proof exchange for Theorem Provers).

Reviewer

Members of the project reviewed papers for the conferences CPP'16 (Certified Programs and Proofs), ESOP'15 (European Symposium on Programming), Types, LICS'15 (Logic in Computer Science), Cade'15 (Conference on Automated Deduction), ITP'15 (Interactive Theorem Proving), JFLA'16 (Journées Francophones des langages applicatifs).

Journal

Reviewer - Reviewing activities

Members of the project-team reviewed papers for the journals Journal of Functional Programming, Journal of Formal Reasoning, Journal of Automated Reasoning.

Invited talks

Laurence Rideau gave an invited talk at the conference TFP'15 (Trends in Functional Programming).

Cyril Cohen and Yves Bertot gave invited talks at the workshop on Algebra, Geometry, and Proofs in Symbolic Computation in Toronto in December.

Cyril Cohen and Enrico Tassi gave lectures at the tutorial on Coq organized as satellite event to ITP'15 in Nanjing, China, in August.

Research administration

• Members of the project-team evaluated project for the French national agency for research funding (ANR).

• José Grimm is a member of the local committee for Hygiene and Work Safety.

• Cyril Cohen regularly serves as secretary for the local committee of project-team leaders.

• Yves Bertot is the chairman of the Coq Steering committee, Enrico Tassi is a member of this committee.