Section: Dissemination
Animation of the scientific community

Laurence Rideau was one of the organizers of the Conferences on Intelligent Computer Mathematics, which took place in Paris from July 5 to July 10, 2010. This event federated the conferences Artificial Intelligence and Symbolic Computations, Calculemus, Mathematical Knowledge Management, and the workshops Compact Computer Algebra, Digital Mathematical Libraries, Mathematically Intelligent Proof Search, Programming Languages for Mechanized Mathematics Systems,, OpenMath, Symbolic Computation Infrastructure for Europe.

Yves Bertot organized a oneday Coq Workshop in July in Edinburgh [13] .

Members of the projectteam participated in program committees for UITP, PAR, LFMTP, Coqworkshop, SACSVT, and for the Journals JAR (Journal of Automated Reasoning), JFR (Journal of Formalized Reasoning), JFP (Journal of Funcgtional Programming).

Members of the projectteam refereed papers for the conferences Calculemus, ICFP (International Conference in Functional Programming), ITP (Interactive theorem proving), JFLA (JournĂ©es Francophones des Langages Applicatifs) UITP (UserInterfaces for Theorem Provers) and for the journals JFR (Journal of Formalized Reasoning), JAR (Journal of Automated Reasoning).

Members of the project reviewed projects for the Dutch organization for research (NWO)

Yves Bertot was a Jury member for the theses of Christophe Brun (U. Strasbourg) and A. CharguĂ©raud (U. ParisDiderot).