Section: Partnerships and Cooperations

International Research Visitors

Visits of International Scientists

Andrej Bauer (University of Novi Sad) visited $\pi r^2$ and PPS for one month in September 2015 to collaborate with Matthieu Sozeau.

Internships

Akira Yoshimizu had a six-month Inria international internship (Nov 2014 - April 2015). He worked on abstract machines for the geometry of synchronisation, a variation of Girard's geometry of interaction that incorporates synchronisation and that is fit for dealing with quantum primitives added to a functional language, and coauthored a paper at LICS 2015 with Ugo Dal Lago, Claudia Faggian, and Benoît Valiron [56] .