EN FR
EN FR


Section: Dissemination

Animation of the scientific community

  • Members of the project participated to the programm committees of Coq'11, ITP'11 (Interactive Theorem Proving), Thedu (Computer Theorem Proving Components for Educational Software), PxTP (Proof Exchange for Theorem Proving).

  • Members of the project reviewed papers for the conferences SAC'11 (Symposium on Applied Computing), ISSAC'11 (International Symposium on Symbolic and Algebraic Computation), ITP'11.

  • Members of the project reviewed papers for the journal JUCS (Journal of Universal Computer Science),

  • Members of the project wrote reports for the “habilitation à diriger des recherches” of J.-C. Filliatre. They were members of the Jury for the PhD defense of Arnaud Spiwack, Muhammad Khan.

  • Yves Bertot and Benjamin Grégoire taught at the CEA-EDF-Inria School on “Modelling and Verifying Algorithms in Coq: an introduction” in November in Paris, France.

  • Yves Bertot taught at the 3rd Asian-Pacific Summer School on Formal Methods, in Suzhou, China.

  • Members of the project attended the conferences JFLA, Coq-3, ITP, CADE, Types, CRYPTO, CPP (Certified Programs and Proofs), CICM (Conference on Intelligent Computer Mathematics), ICCSA (International Conference on Computational Science and its Applications).

  • Maxime Dénès gave an invited talk at Ecole Normale Supérieure in Lyons, France.