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.