Section: Partnerships and Cooperations

International Research Visitors

Visits of International Scientists

Thorsten Altenkirch (University of Nottingham) visited $\pi r^2$ for one month April 2012.

Conor McBride (University of Strathclyde) visited $\pi r^2$ for three weeks April-May 2012.

Keiko Nakata (University of Tallin) visited $\pi r^2$ for 4 days in September and worked with Zena Ariola and Hugo Herbelin on typing the continuation-passing-style semantics of call-by-need $\lambda$-calculus.

Tim Griffin visited $\pi r^2$ from January to June 2012 (and was funded 3 months by the Inria Paris-Rocquencourt invitation programme). He worked on the formalisation of routing protocols in Coq, and had many exchanges with Coq and ssreflect implementors.

Zena Ariola is visiting $\pi r^2$ during the whole academic year 2012-2013. She works on call-by-need, continuation-passing translations and related subjects.

Beta Ziliani (MPI Saarbrücken) visited $\pi r^2$ for one week in January 2012 and one week in July 2012 to work with Matthieu Sozeau on formalising the unification algorithm of Coq.

Jael Kriener (University of Kent) visited $\pi r^2$ for one week in January 2012 to work with Matthieu Sozeau on proof-search for Type Classes.

Internships

We host Paul Downen (PhD student of Zena Ariola, University of Oregon), during the entire academic year 2012/2013.

Visits to International Teams

Hugo Herbelin and Matthieu Sozeau have spent three months at the IAS as part of the special year on Univalent Foundations (October-December 2012).

Shorter International Visits Abroad

Pierre-Louis Curien visited Zena Ariola (Univ. of Oregon) for 2 weeks in May-June, and Tarmo Uustalu (Institute of Cybernetics of Technical University, Tallinn) for 2 weeks in December.

Hugo Herbelin visited Silvia Ghilezan at the University of Novi Sad in Serbia for one week in January 2012. He visited Predrag Janičić at the University of Belgrade for 2 days. He visited Danko Ilik in Skopje for one week.

Hugo Herbelin visited 4 days Gyesik Lee in Seoul and 3 days Sungwoo Park in Pohang in May as part of their joint project on Reverse Mathematics in Coq.

Guillaume Munch-Maccagnoni also visited Seoul (as part of the PHC STAR programme) 10 days in December.

Matthieu Sozeau was invited by the French Ministry of Foreign Affairs to visit Keiko Nakata and Tarmo Uustalu (IoC, Tallinn) for 4 days in June 2012. He gave a seminar on Equations there.