Overall Objectives
Research Program
Highlights of the Year
New Software and Platforms
New Results
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: Partnerships and Cooperations

International Research Visitors

Visits of International Scientists

John Baez (University of California River Side) visited the team for a week in November 2017.

Marcelo Fiore (University of Cambridge) visited the team for two weeks in February 2017.

Jovana Obradović (now a postdoc at Charles University, Prague) visited the team from December 1 to December 10 2017.

Amin Timany (KU Leuven, Belgium) visited the team for two months in March-April 2017 and collaborated with Matthieu Sozeau on the design and implementation of cumulative inductive types in Coq.

Visits to International Teams

Research Stays Abroad

Pierre-Louis Curien visited East China Normal University for a month in June 2017 (collaborations with Yuxin Deng and Min Zhang). Pierre-Louis Curien and Jovana Obradović visited the Institute of Mathematics of the Serbian Academy of Sciences in Belgrade in July 2017 (collaboration with Zoran Petrić).

Jean-Jacques Lévy visited the Institute of Software of Chinese Academy of Sciences (ISCAS) in December 2017 (project VIP and on-going work with Ran Chen) during 2 weeks. He gave talks at ISCAS hosted by Ying Jiang, and during a third week at ECNU Shanghai hosted by Min Zhang, USTC Suzhou (University of Science and Technology of China) hosted by Xinyu Feng, Nankai University in Tianjin hosted by Chunfu Jia.