Section: Partnerships and Cooperations
International Research Visitors
Visits of International Scientists
Beta Ziliani (MPI Saarbrücken) visited for one week in November 2014 to collaborate with Yann Régis-Gianas and Matthieu Sozeau.
Peter Aczel (Manchester Univ.), Steve Awodey (Carnegie Mellon University), Thierry Coquand (Univ. Göteborg), and Vladimir Voevodsky (Institute for Advanced Study) were Inria funded invited professors for the thematic IHP trimester Semantics of Proofs and Certified Mathemtatics.
Akira Yoshimizu is an international Inria intern, working on abstract machines for quantum programmming languages inspired from game semantics and linear logic.
Visits to International Teams
Research stays abroad
Pierre-Louis Curien visited Chili (Univ. of Talca) in March 2014 (collaborative work with Maria Ronco in operad theory).