Project-Team:GALLINETTE

Inria | Raweb 2018 | Presentation of the Project-Team GALLINETTE | GALLINETTE Web Site


	PDF	e-Pub

Previous |

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 |

Home | Next next