Section: Partnerships and Cooperations

International Research Visitors

Visits of International Scientists

Among the visits below, we note 2 long-term visits: the 6-month visit of Matias Lee (paid by a EADIC II - Erasmus Mundus scholarship); and the sabbatical year of Xian Xu, from East China University of Science and Technology, Shanghai (paid a scholarship from the Chinese Science Foundation).

• Peter Hofner, Nicta, Sydney, Australia. 1 week end of January. Topic: Formal Methods for Wireless Networks.

• Martin Avanzini, Institute of Compute Science, University of Innsbruck, Austria. 23 to 27 April, 2012. Topic: order-theoretic approaches to complexity analysis of functional programs.

• Marco Carbone, IT University of Copenhagen. A week in May/June 2012. Topic: faults and compensations in choreography languages.

• Raju Halder, Macquarie University, Australia. 2 days in May 2012. Topic: Abstract Interpretation and concurrency.

• Luca Fossati, Imperial College London. A week in May 2012. Topic: Liveness properties by means of types in the $\pi$-calculus.

• Xian Xu has began in May a year sabbatical in Focus. He is lecturer at the East China University of Science and Technology in Shanghai.

• Matias David Lee. Currently PhD student at Universidad Nacional de Córdoba, Argentina, has spent 5 months during 2012, from January to May (having arrived in November 2011), for a long-term visit.

• Bertrand Meyer, ETH Zurich. One day in September 2012. Topic: Concurrent Object-Oriented Programming.

• Mariangiola Dezani, Univ. Turin, Italy. 4 days October 2012. Topic: Session Types.

• Clement Aubert, LIPN Université Paris 13. From 5 to 16 November 2012. Topic: implicit complexity and the geometry of interaction.

• Matthieu Perrinel, LIP ENS Lyon. From 17 to 21 December 2012. Topic: context semantic and decideable criteria for complexity analysis.