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: Highlights of the Year

Highlights of the Year

Creation and new permanents members

The team has been created as a project team on June 2018. Two new permanent members have joined the team:

  • Guilhem Jaber, as an assistant professor of the University of Nantes (September 2018).

  • Pierre-Marie Pédrot as an Inria researcher (October 2018).


Best Papers Awards:
N. Tabareau, É. Tanter, M. Sozeau.

Equivalences for Free: Univalent Parametricity for Effective Transport, in: Proceedings of the ACM on Programming Languages, September 2018, pp. 1-29. [ DOI : 10.1145/3234615 ]

É. Miquey.

A sequent calculus with dependent types for classical arithmetic, in: LICS 2018 - 33th Annual ACM/IEEE Symposium on Logic in Computer Science, Oxford, United Kingdom, LICS '18 Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, ACM, July 2018, pp. 720-729, [ DOI : 10.1145/3209108.3209199 ]