Section: Dissemination
Promoting Scientific Activities
Scientific events selection
Chair of conference program committees
Gilles Dowek was PC chair of TLCA-RTA.
Member of the conference program committees
Gilles Dowek was PC member of CADE, ICTAC and eMoocs.
Guillaume Burel was PC member of PxTP'15 and IWIL'15.
Reviewer
Frédéric Blanqui has reviewed papers for TYPES'14 post-proceedings and LICS'15.
Guillaume Burel has reviewed a paper for Tableaux'15.
Olivier Hermant has reviewed papers for Tableaux'15 and CADE-25, a project for ANR (second phase) and pre-projects for ANR (first phase).
Journal
Member of the editorial boards
Gilles Dowek is an editor of TCS.
Reviewer - Reviewing activities
Frédéric Blanqui reviewed a paper for TCS.
Guillaume Burek reviewed a paper for Formal Aspects of Computing.
Olivier Hermant reviewed a paper for TCS.
Invited talks
Gilles Dowek was invited to DCM and Tools for teaching logic.
Scientific expertise
Gilles Dowek has been a consultant for the Conseil Scientifique des Programmes.
Gilles Dowek is the President of the Scientific board of the Société Informatique de France.
Gilles Dowek is a member of the Commission de réflexion sur l'éthique de la recherche en sciences et technologies du numérique d'Allistène (CERNA).