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.

• Giovanni Pardini: "Lazy Security Controllers."

• Antonio Ravara: "Towards static deadlock resolution in the pi-calculus."

• Silvia Crafa: "Concurrency theory and concurrent languages: an evolutionary view of programming abstractions."

• Henning Kerstan: "Probabilistic Transition Systems."

• Jean-Bernard Stefani: "Location graphs: yet another global computing model (but with reason)."

• Isabel Oitavem: "P, NP and Pspace from a recursion-theoretic perspective."

• Reinhard Kahle: "Theories for Classes of Computational Complexity."

• Violet Ka I Pun: "Meeting Deadlines, Elastically."

• Volker Stolz: "Search-based composed refactorings."

• Giuseppe De Ruvo: "An Unusual Context for Formal Verification: Wiki Evolution."

• Manuel Mazzara: "Applications of reversibility".

• Claudio Antares Mezzina and Doriana Medic: "Calculi for reversibility".

• Thomas Leventis: " Theories in Probabilistic lambda-calculus."

• Mirko Viroli: "Perspectives on Aggregate Computing".

• Benoit Valiron and Claudia Faggian: "Resource control and linear logics".

• Beniamino Accattoli: "Abstract machines and resource control".

• Georg Moser, Thomas Powell and Stephane Gimenez: "Tools for compuational complexity”.

• Ichiro Hasuo, Akira Yoshimizu, and Ryo Tanaka: "Game semantics".

• Ales Bizjak: "Step-Indexed Logical Relations for Probability".

• Roberto Di Cosmo: "Preserving Software: challenges and opportunities for reproducibility of Science and Technology".

Visits to International Teams

January 14-28: Ugo Dal Lago visited Shanghai Jiaotong University, and collaborated with Yuxin Deng, as for the PACE project.

Sabbatical programme

Maurizio Gabbrielli is, since 15 September 2014, Head of the EIT ICT Labs Doctoral School with Paris as his principal location.