Section: Partnerships and Cooperations

International Initiatives

Informal International Partners

We interact regularly with the team of Prof. Thierry Coquand at University of Göteborg and Chalmers University in Sweden and the team of Prof. Julio Rubio at Universidad de La Rioja in spain.