Homepage Inria website
  • Inria login
  • The Inria's Research Teams produce an annual Activity Report presenting their activities and their results of the year. These reports include the team members, the scientific program, the software developed by the team and the new results of the year. The report also describes the grants, contracts and the activities of dissemination and teaching. Finally, the report gives the list of publications of the year.

  • Legal notice
  • Cookie management
  • Personal data
  • Cookies

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.