Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: Partnerships and Cooperations

International Initiatives

Informal International Partners

We have strong collaborations with AIST in Japan. Reynald Affeldt, a researcher from AIST has been visiting our team since October 1st 2019. The topic of choice is formalization of a variety of topics using the Mathematical Components library, aiming mostly at formalizing robotics.