Section: Partnerships and Cooperations

International Research Visitors

Visits of International Scientists

Beta Ziliani (MPI, Saarbrücken) visited $\pi r^2$ and PPS for a week in January to collaborate with Yann Régis-Gianas and Matthieu Sozeau.

Zena Ariola visited $\pi r^2$ and PPS for the whole academic year 2012-2013 with SEMACODE associate team to collaborate with Pierre-Louis Curien, Hugo Herbelin and Alexis Saurin. Her two PhD students joined for shorter terms (Paul Downen from November 2012 to July 2013 and Luke Maurer, being funded by the INTERNSHIP program – see below – from March 2013 to July 2013).

Marco Gaboardi visited $\pi r^2$ and PPS in for 10 days in may and again in december 2013 to collaborate with Alexis Saurin.

Olivier Danvy visited $\pi r^2$ and PPS in the fall 2013.

Fernando Ferreira (Univ. of Lisbon) and Ulrich Kohlenbach visited $\pi r^2$, hosted by Jaime Gaspar.

Internships

• Luke Maurer

  • Subject: Foundation for lazy languages

  • Date: from Mar 2013 until Jul 2013

  • Institution: University of Oregon (United States)

Visits to International Teams

Pierre Boutillier visited MSP group at the university of Strathclyde for a month in March 2013.

Hugo Herbelin visited Thomas Streicher at the University of Darmstadt in May 2013.

Hugo Herbelin visited the Institute of Cybernetics in Tallinn, Estonia in September and October 2013.

Pierre-Louis Curien visited IAS for 3 weeks in March, towards the end of the Special Year on Univalent Foundations. Matthieu Sozeau visited Vladimir Voevodsky at the IAS in Princeton for 15 days in May 2013.