EN FR
EN FR


previous Previous | up Home | Next next


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).

Awards

Best Papers Awards:
[7]
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 ]

https://hal.inria.fr/hal-01559073


[14]
É. 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, https://arxiv.org/abs/1805.09542. [ DOI : 10.1145/3209108.3209199 ]

https://hal.inria.fr/hal-01703526




previous Previous | up Home | Next next