Section: Dissemination

Teaching - Supervision - Juries


  • Master: Bruno Barras, proof assistants, 12h, M2, MPRI

  • Master: Frédéric Blanqui, formal languages, 21h, M1, ENSIIE

  • Master: Frédéric Blanqui, rewriting theory, 14h, M1, ENS Paris-Saclay

  • Master: Frédéric Blanqui, λ-calculus and theories in first-order logic, 18h, M1/M2, ENS Paris-Saclay

  • Master: Gilles Dowek has given a course at MPRI.

  • Master: Gilles Dowek is in charge of the second year of Masters at the École normale de Paris Saclay.

  • Master: Gilles Dowek has given a one week invited course at the University of Buenos Aires.

  • Licence: Guillaume Genestier, logic tutorials, 45h, L3, ENS Paris-Saclay

  • Licence: Guillaume Genestier, complexity remedial classes, 11h, L3, ENS Paris-Saclay

  • Licence: Gaspard Férey, language theory, 44h, L3, EISTI

  • Licence: François Thiré, (spring) logic project, 26h, L3 ENS Paris-Saclay

  • Licence: François Thiré, (spring) Programmation 2 tutorials, 26h, L3 ENS Paris-Saclay

  • Licence: François Thiré, (fall) Architectures and Systems tutorials, 36h, L3 ENS Paris-Saclay

  • Frédéric Blanqui is co-director of the pole 4 of the doctoral school STIC of the University Paris-Saclay.

  • Frédéric Blanqui is member of the committee of the doctoral school of the ENS Paris-Saclay.

  • Frédéric Blanqui is in charge of following PhD students at LSV.


  • PhD Defended: Frédéric Gilbert, Gilles Dowek and Florent Kirchner,

  • PhD in progress: Guillaume Bury, David Delahaye and Gilles Dowek,

  • PhD in progress: Guillaume Genestier, termination in λΠ-calculus modulo theory, 01/10/17, Frédéric Blanqui and Olivier Hermant,

  • PhD in progress: Mohamed Yacine El Haddad, using automated provers in proof assistants, 05/01/18, Frédéric Blanqui and Guillaume Burel,

  • PhD in progress: Gaspard Férey, Associative-Commutative rewriting in the λΠ-calculus, 01/09/18, Gilles Dowek,

  • PhD in progress: François Thiré, Design tools to make interoperability easier in Dedukti , 01/09/18, Gilles Dowek.


Gilles Dowek has been a member of the Jury of the PhD defence of Pierre Boutry. He has been an evaluator of the thesis of Thibault Gauthier. He has been a member of the Jury of the habilitation defence of Julien Signoles and of Alexei Grinbaum.