Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

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).


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).


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