Section: Dissemination

Promoting Scientific Activities

Scientific Events Organisation

General Chair, Scientific Chair

G. Dowek has co-organized the meeting Universality of Proofs in Dagstuhl.

Member of the Organizing Committees

G. Dowek is a member of the steering committee of FSCD.

Scientific Events Selection

Member of the Conference Program Committees

F. Blanqui was member of the program committee of the 2016 Coq Workshop.

Reviewer

F. Blanqui reviewed papers for IJCAR 2016 and CSL 2016.

Journal

Member of the Editorial Boards

G. Dowek is an editor of TCS-C.

Invited Talks

G. Dowek has been an invited speaker at ISEEP 2016.

G. Dowek has been an invited speaker at Physics and Computation 2016.

Scientific Expertise

G. Dowek has been a member of a commitee dedicated to an update of the high school informatics curriculum.

Research Administration

G. Dowek is the President of the Scientific Board of the Société informatique de France.

G. Dowek is a member of the Scientific Board of la Main à la Pâte.

G. Dowek is a member of the commission de réflexion sur l'éthique de la recherche en sciences et technologies du numérique d'Allistene.

G. Dowek is a member of the comité national français d'histoire et de philosophie des sciences et des techniques.

F. Blanqui is co-director of the pole 4 (programming: models, algorithms, languages and architectures) of Paris-Saclay University's doctoral school on computer science.

F. Blanqui is referent of LSV PhD students.