Section: Partnerships and Cooperations

International Research Visitors

Visits of International Scientists

Among the visits below, we note the sabbatical year of Xian Xu, from East China University of Science and Technology, Shanghai (paid a scholarship from the Chinese Science Foundation).

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

• Marco Bernardo, Universita' Urbino. A couple of 2 or 3 day visits during the year. Topic: probabilistic process models.

• Simon Gay, University Glasgow. A 1-month visit, March-April. Topic: session types.

• Andrei Dorman, Paris 13. One 3-day visit in May. Topic: Concurrent Interaction Nets and Graph Rewriting

• Patrick Baillot, ENS Lyon, and Gilles Barthe, IMDEA Madrid. One joint 4-day visit in May. Topic: Security and Cryptography

• Matthew Hennessy, University College Dublin. One 3-day visit in June. Topic: probabilistic bisimulations.

• Ramyaa Ramyaa, LMU Munich. One 1-week visit in June.

• Lionel Vaux and Emmanuel Beffara, Marseille. One 3-day visit in October. Topic: Linear Logic.

• Ludovic Henrio, Inria Sophia Antipolis. One 2-day visit in December. Topic: deadlock-analysis and asynchronous object-oriented languages.

• Stefano Zacchiroli, from Paris 7, has visited us various times for a few days during the year.

Visits to International Teams

We only report visits that were longer than 1 month.

• Roberto Amadini: 6 months at the Optimisation Research Group of NICTA in Melbourne (http://optimisation.nicta.com.au/ ).

• Ornela Dardha: 1 year (1 November 2012 - 1 November 2013) at IT University of Copenhagen, Denmark, visiting Prof. Marco Carbone (topic: type systems for processes)

• Giulio Pellitta: 6 months at Laboratoire d'Informatique, Université Paris Nord (November 2012 - May 2013). Topic: abstract machines for resouce control in the $\lambda$-calculus.

• Tudor Alexandru Lascu: 3 months at Paris 7 (PPS team). Topic: cloud computing.