Section: Partnerships and Cooperations

International Research Visitors

Visits of International Scientists

• Ambrus Kaposi has visited Gallinette from April 15 to July 15 as part of the ERC 'Visiting Fellowship Programmes' whose aims it to promote the widening of participation of researchers with a high potential in the ERC calls. The Scientific Council of the ERC believes that increasing the international exposure of researchers can help them to develop their full research potential. For this reason the ERC has invited relevant national and regional authorities in Europe to fund potential ERC candidates from the country or the region to visit teams of existing ERC Principal Investigators. The purpose is to offer these potential candidates an opportunity to broaden and strengthen their research profile and vision in an internationally competitive research environment before applying for an ERC grant.

• Simon Huber (University of Göteborg) has visited Simon Boulier and Nicolas Tabareau from Feb 26 to March 2 as a Short-Term Scientific Mission (STSM) funded by the EUTYPES COST Action.

• Jesper Cockx (Chalmers University) has visited Gaetan Gilbert and Nicolas Tabareau from Feb 19 to Feb 23 as a Short-Term Scientific Mission (STSM) funded by the EUTYPES COST Action.

Internships

• A. Defourné has visited the team from April to August for an internship on the subject “A Mini-ML with resource management”, supervised by G. Munch-Maccagnoni and R. Douence.

• L. Pujet has visited the team from April to August for an internship on the subject “Interpreting Cubical Type Theory using forcing”, supervised by N. Tabareau.

Visits to International Teams

Research Stays Abroad

• A. Mahboubi has been appointed as Endowed Professor at the Vrije Universiteit Amsterdam on a chair entitled "Automated verification of mathematical proof".

• G. Munch-Maccagnoni has visited the University of Cambridge from July 9th to July 19th to work with M. Fiore on the topic of categorical semantics of effects and resources in programming languages.

• G. Munch-Maccagnoni has visited Jane Street on July 19th to work with L. White on the topic of resource management in the OCaml programming language.