Promoting Scientific Activities
Scientific Events Selection
Member of the Conference Program Committees
G. Burel was a member of the 12th International Workshop on the Implementation of Logics.
G. Burel, S. Martiel, and F. Gilbert rewiewed submissions to the Logic In Computer Science conference.
G. Burel reviewed submissions to the Formal Structures for Computation and Deduction conference.
Reviewer - Reviewing Activities
G. Burel reviewed articles for the Computer Journal and the Journal of Logic and Computation.
G. Burel gave an invited lecture at the 28th Journées Francophones des Langages Applicatifs, entitled “Exprimer ses théories en Dedukti, le vérificateur de preuves universel”.
G. Dowek is a member of the scientific concil of La Société Inforamatique de France.
G. Dowek is a member of the scientific concil 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.
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.