Section: Partnerships and Cooperations

International Research Visitors

Visits of International Scientists

L. Ricker visited the SUMO team for 2 months in May-June 2016.

Internships

Robert Nsaibirni from the University of Yaoundé I joined the team from Sept. 2016 in the context of an Eiffel grant.

Visits to International Teams

Research Stays Abroad

Nathalie Bertrand spent a month at the Simons Institute for the theory of computing, UC Berkeley, California. She participated to the program Logical Structure in Computation (https://simons.berkeley.edu/programs/logic2016).