Section: Dissemination
Leadership within scientific community

Yves Bertot was a coeditor of the book “From Semantics to Computer Science, essay in honour of Gilles Kahn”, published by Cambridge University Press in October.

Yves Bertot was a member of the program committee for the conference FICS (Fixpoints in Computer Science) and for the Coq workshop.

Laurence Rideau was a member of the program committee for the conference MKM (Mathematical Knowledge Management).

Laurent Théry was a member of the program committee for the conference TPHOLs (Theorem Proving in Higher Order Logics).

Laurent Théry was the program chair for the workshop PLMMS (Programming Languages for Mechanized Mathematics Systems).

Yves Bertot gave talks at the School for young researchers in programming on introduction to type theory and Coq in a Hurry .

Project members reviewed papers for the journals JAR (Journal of Automated Reasoning), TOMS (Transactions on Mathematical Software), TSI (Technique et Science Informatique), ESL (Embedded Systems Letters) and for the conferences MKM (Mathematical Knowledge Management), POPL (Principles of Programming Languages), JFLA (Journées Francophones des Langages Applicatifs), TPHOLs (Theorem Proving in Higher Order Logics), PLMMS (Programming Languages for Mechanized Mathematics Systems).