Section: Partnerships and Cooperations

International Research Visitors

Visits of International Scientists

• Victor Selivanov (Kazan University) was an Inria invited researcher in September 2018. We have worked on the computable aspects of Descriptive Set Theory.

• Cristóbal Rojas (Universidad Andres Bello, Santiago) visited us during one month in September 2018. We have worked on the computable aspects of invariant measures in dynamical systems.

• Alexander Frank (Universidad Andres Bello, Santiago) visited us during three weeks in September-October 2018. We have worked on the computable aspects of invariant measures in dynamical systems.

• Bruce Kapron (University of Victoria, Canada) visited us in October 2018. We have worked on applications of tier based type systems to characterize the class of second order functionals computable in polynomial time.

• Damiano Mazza (CNRS, Université de Paris 13) visited us in March 2018. We have worked on the adaptation of linear logic to a functional programming languages with infinite streams to characterize the class of first order functions over the real computable in polynomial time.