Team, Visitors, External Collaborators
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 Research Visitors

Visits to International Teams

Research Stays Abroad

Gilles Dowek has spent two weeks at the Institute of Software in Beijing where he has worked with Ying Jiang, Wu Peng, and Wenhui Zhang.

Gilles Dowek has spent two weeks at the University of Buenos Aires where he has worked with Alejandro Díaz-Caro.

Frédéric Blanqui has been invited for two weeks in Japan by Yoji Akama (Tohoku University) and Makato Hamana (Gunma University).

As a “Short Term Scientific Mission” financed by COST Action EUTypes, Guillaume Genestier spent five weeks in Chalmers University, Gothenburg, Sweden, to cooperate with Jesper Cockx and Andreas Abel on the translation between the proof assistant Agda and Dedukti.