Section: Partnerships and Cooperations

International Research Visitors

Visits of International Scientists

The following researchers have visited Focus for short periods; we list them together with the title of the talk they have given during their stay, or the topic discussed during their stay.

• Ornela Dardha (University of Glasgow) and Laura Bocchi (University of Kent): collaboration within BehAPI RISE H2020 project, September 2019.

• Guilhem Jaber (University of Nantes): “Game semantics for higher-order functions with state”, December 2019.

• Naohiko Hoshino, April 2019 and October 2019.

• Gilles Barthe, May 2019.

• Boaz Barak, July 2019.

• Francesco Dagnino, “Generalizing Inference Systems by Corules", November 2019.

Sabbatical programme

Simone Martini has been Fellow at the Collegium - Lyon Institute for Advanced Studies, since September 2018 and until June 2019 https://collegium.universite-lyon.fr.

Research Stays Abroad

• Ugo Dal Lago has spent overall a few weeks in Japan: RIMS (Kyoto) and NII (Tokyo), as part of ongoing collaborations with Naohiko Hoshino and Shin-ya Katsumata.

• Ivan Lanese has visited Xibis Limited and University of Leicester, UK (in particular Irek Ulidowski and Emilio Tuosto) from 3/7/2019 to 2/8/2019, to work on choreographies, and the University of Torun, Poland (in particular Lukasz Mikulski and Kamila Barylska), from 13/8/2019 to 29/8/2019, to work on reversible Petri nets.

• Cosimo Laneve and Gianluigi Zavattaro have spent overall a few weeks in Malta visit to Prof. Adrian Francalanza at the University of Malta within the BehAPI RISE H2020 project.

• Michael Lodi has visited Prof. Tim Bell and the Computer Science Education Research Group at the Department of Computer Science and Software Engineering, University of Canterbury, Christchurch, New Zealand, from 26th of October 2018 to 17th of April 2019, as part of his Ph.D. course.