Section: Partnerships and Cooperations

International Research Visitors

Visits of International Scientists

Amy Felty, professor at the University of Ottawa, Doug Howe, professor at Carleton University in Canada, are visiting from September 2013 to Summer 2014.

Internships

• Florent Bréhard, student at École Normale Supérieure, worked from June to August 2013 on homotopy type theory. In particular, he produced a proof of equivalence between various presentations of spheres, at all dimensions.

• Antoine Grospellier, student at École Normale Supérieure, worked from June to August 2013 on integrating automatic proof tools for first order logic in the Coq system.

Visits to International Teams

• Yves Bertot spent three months From January 15th to April 15th, 2013 at Institute for Advanced Study, Princeton, where he was invited to participate to the special year on Homotopy Type Theory.