Section: Dissemination

Teaching - Supervision - Juries

Teaching

G. Dowek is attached professor at the École normale supérieure de Paris-Saclay. He has given a course at MPRI. He has given a course to the student preparing the teacher's recruiting exam Agrégation. He is responsible for the second year of master.

F. Blanqui gave a course (15h) on rewriting theory at the MPRI.

Supervision

• PhD : Raphaël Cauderlier, Object-Oriented Mechanisms for Interoperability between Proof Systems, CNAM, 10/10/2016, Catherine Dubois

Juries

F. Blanqui was member of the 2016 Inria recruitment committee for young graduate scientists.

F. Blanqui was member of the jury for the best scientific production of the year within Paris-Saclay University's doctoral school on computer science.