Section: Dissemination

Visits

Outbound

Andreas Abel visited C. Raffalli and P. Hyvernat (LAMA, Universite de Savoie, Chambery) to work on a termination checker for PML (2 weeks, December).

Pierre-Louis Curien has been an invited professor at Cambridge University (on a Leverhulme grant and on a fellowship of Emmanuel College) in April, May, and June. He has been Invited Professor at Tsinghua University, in September and October.

Hugo Herbelin has visited Korea (University of Seoul), China (Formes team at Tsinghua University, Beijing), and attended a workshop in Japan, in June.

Guillaume Munch visited Cambridge Computer Lab for two weeks in May.

Inbound

Zena Ariola (University of Oregon) visited r² for a few days in September.

Josef Urban (University of Nijmegen) visited r² for one week in October.