Section: Partnerships and Cooperations
International Research Visitors
Visits of International Scientists
Andrej Bauer (University of Novi Sad) visited
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] .