Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: Partnerships and Cooperations

International Initiatives

Inria International Partners

Informal International Partners

We have important collaborations with the team of Thierry Coquand at Chalmers and University of Göteborg.

We are setting up a collaboration with the team of Adam Chlipala at the Massachusetts Institute of Technology.