Section: Partnerships and Cooperations

International Research Visitors

Visits of International Scientists

Paolo Giarrusso (Univ. of Marburg) visited Yann Régis-Gianas in February 2016.

Lourdes del Carmen Gonzalez Huesca (Univ. of Mexico) visited Yann Régis-Gianas in December 2016.

Visits to International Teams

Research Stays Abroad

Pierre-Louis Curien visited the Category Theory group at Macquarie University in June-July 2016 (collaborative work on the combinatorial structure of type dependency).

As a part of his joint PhD, Étienne Miquey worked most of the year in Montevideo within the Logic group of the Universidad de la República of Uruguay.