Overall Objectives
Research Program
Highlights of the Year
New Software and Platforms
New Results
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: Partnerships and Cooperations

European Initiatives

Collaborations with Major European Organizations

We have sustained collaborations with the team of Thierry Coquand at Chalmers and the University of Göteborg in Sweden and with the team of Gilles Barthe at IMDEA in Spain.