Promoting Scientific Activities
Scientific events organisation
General chair, scientific chair
Catherine Dubois was a general chair of the GDR GPL national days, and the AFADL'14, CAL'14, and CIEL'14 conferences, organized at Cnam in Paris.
Member of the organizing committee
David Delahaye was a member of the organizing committee of the GDR GPL national days, and the AFADL'14, CAL'14, and CIEL'14 conferences, organized at Cnam in Paris.
Olivier Hermant and Florian Rabe organized the 2nd KWARC-Deducteam workshop in Bremen, Germany (May 2014).
Gilles Dowek is a member of the steering committees of RTA and TLCA. Catherine Dubois is the chair of the steering committee of TAP.
Scientific events selection
Chair of conference program committee
Gilles Dowek has been the PC chair of RTA-TLCA.
David Delahaye and Catherine Dubois were co-chairs of the SETS'14 workshop (affiliated to ABZ'14).
David Delahaye was a co-chair of the '14 workshop (affiliated to VSL'14).
Catherine Dubois was a co-chair of the F-IDE'14 workshop (affiliated to ETAPS'14). She was also a PC co-chair of the AFADL'2014 national conference.
Member of the conference program committee
Olivier Hermant was member of the program committee of the RTA-TLCA 2014 conference (July 2014).
Frédéric Blanqui reviewed a paper submitted to the post-proceedings of TYPES'14.
Alejandro Díaz-Caro reviewed a paper submitted to the FSTTCS'14 conference.
Ronan Saillard reviewed a paper submitted to the RTA'14 conference.
Member of the editorial board
David Delahaye is a member of the editorial board of the Global Journal of Advanced Software Engineering (GJASE).
David Delahaye reviewed one paper for the Global Journal of Advanced Software Engineering (GJASE) and one paper for the Requirements Engineering (RE) journal.
Alejandro Díaz-Caro reviewed a paper submitted to Elsevier's “Science of Computer Programming” journal.
Olivier Hermant reviewed a paper submitted to the journal “Theoretical Computer Science”.