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.