Section: Dissemination

Promoting Scientific Activities

Scientific events selection

Member of the conference program committee

Benjamin Grégoire was member of the program committee for the conference TCS (Theoretical Computer Science), which was held on September 1-3 in Roma, Italy.

Yves Bertot was member of the programm committee for the conference ITP (Interactive Theorem Proving), which was held July 14-17 in Vienna, Austria and for the workshop UITP (User Interfaces for Theorem Provers), which was on held on July 17th in Vienna, Austria.

Laurent Théry was member of the programm committee for the conferences ITP (Interactive Theorem Proving) and UITP (User Interfaces for Theorem Provers) in Vienna (see above) and for the workshop ACL2 (International Workshop on the ACL2 Theorem Prover and its Applications), which was held July 12-13 in Vienna, Austria.

Reviewer

Members of the team reviewed papers for the conferences CPP (Certified Programs and Proofs), CCS (ACM Conference on Computer and Communication Security), CSF (Computer Security Foundations), Types (Types for Proofs and Programs),.

Journal

Member of the editorial board

Laurent Théry was a special issue editor for Mathematics in Computer Science, "Special Focus on Formal Proofs for Mathematics and Computer Science".

Reviewer

Members of the team reviewed papers for the journals JFP (Journal of Functional Programming), TOPLAS (Transactions on Programming Languages and Systems), MSCS (Mathematical Structures in Computer Science), JFR (Journal of Formalized Reasoning), TCS (Journal of Theoretical Computer Science), AMAI (Annals of Mathematics and Artificial Intelligence), and SCP (Science of Computer Programming).

Evaluation of funded grants

Laurence Rideau evaluated a grant proposal for the Digiteo laboratory (based in Saclay).

Yves Bertot evaluated a grant proposal for the European Research Concil (consolidator grants).

Laurent Théry evaluated a grant proposal for the French Research Agency (ANR).