EN FR
EN FR




Section: Partnerships and Cooperations

International Initiatives

INRIA International Partners

  • Department of Computer and Information Science, University of Pennsylvania. There has been several collaborations in the past. Presently M. Gaboardi is a long-term visiting researcher in the programming language group, working on resource control and programming languages.

Visits of International Scientists

Ferret's visit below has also been used to give a short intensive course on abstract interpretation for PhD students in Bologna.

  • Beniamino Accattoli, LIX, Polytechnique Paris. June 6-9 and October 24-28. Topic: the complexity of beta reduction in the lambda calculus.

  • Matteo Cimini, Icelanding Center of Excellence in Theoretical Computer Science, Reykjavik, 1 week in December. Topic: logics for concurrent languages.

  • Giorgio Delzanno, University of Genova. 2-day visit. Topic: Verification of protocols for Mobile Ad Hoc Networks.

  • Claudia Faggian, PPS Paris 7, July 18-21 and October 3-7. Topic: linear logic and quantum computation

  • Jerome Ferret, ENS Paris and INRIA, 1 week. Topic: abstract interpretation.

  • Paolo di Giamberardino, University of Rome "La Sapienza", September 19-23. Topic: soft session types.

  • Harry Mairson, Brandeis University, USA. February 4-16. Topic: the complexity of evaluation in the simply typed lambda calculus.

  • Matias David Lee. Currently PhD student at Universidad Nacional de Córdoba, Argentina. Arrived in November 2001 for a long-term visit (6 months).

  • Damiano Mazza, CNRS and Paris 13. October 17-20. Topic: computational complexity in a concurrency scenario.

  • Claudio Mezzina, Inria Grenoble, a few visits throughout the year, two months in total. Topic: constructs for reversible computations.

  • Jean-Bernard Stefani, Inria Grenoble, two 2-day visits. Topic: models for components and reversibility.

Other cooperations

We list here the cooperations and contacts with other groups, without repeating those already listed in previous sections.

  • Inria EPI Indes, (on orchestration and programming languages). A common meeting was organised in Sophia Antipolis, May 2011, where 8 people from Focus and almost everybody from Indes participated.

    Focus and Indes have moreover significantly contributed to the “Programming language day”, May 31, 2011, Amphi Morgenstern, INRIA Sophia Antipolis – Méditerranée.

  • Inria EPI Sardes (on models and languages for components, reversibility). Contact person(s) in Focus: Lanese, Sangiorgi. A number of visits in both directions. One joint PhD supervision (C. Mezzina).

  • ENS Lyon (on concurrency models and resource control). Contact person(s) in Focus: Dal Lago, Gaboardi, Martini, Sangiorgi. Several visit exchanges during the year, in both directions. One joint PhD supervision (J.-M. Madiot, starting in September 2011).

  • Laboratoire d'Informatique, Université Paris Nord, Villetaneuse (on implicit computational complexity). Contact person(s) in Focus: Dal Lago, Gaboardi, Martini. Several visit exchanges during the year, in both directions. An Italian PhD student (Marco Solieri) will soon start a PhD thesis with joint supervision. Gaboardi has made a 2-month visit.

  • Team PPS, University of Paris-Diderot Paris 7 (on logics for processes, resource control). Contact person(s) in Focus: Dal Lago, Gaboardi, Martini, Sangiorgi, Zavattaro. Various short visits in both directions during the year.

  • Research Institute for the Mathematical Sciences – RIMS – University of Kyoto, Japan (on typing and resource control). Contact person(s) in Focus: Dal Lago. A 2-week exchange (Dal Lago) in 2011.

  • Computer Science Department, Brandeis University, USA (on complexity of evaluation in functional programming languages). Contact person(s) in Focus: Dal Lago, Martini. A 2-week visit exchange (Mairson) in 2011.

  • Facultad de Informatica, Universidad Complutense de Madrid (on web services). Contact person(s) in Focus: Bravetti. Bravetti is an external collaborator in the Spanish Ministry of Science and Education project TESIS (advanced methodologies and tools for TESting and web servIceS).

  • EPI Carte, INRIA-Nancy Grand Est and LORIA (on implicit computational complexity). Contact person(s) in Focus: Gaboardi. A few short visits during 2011.

  • Institut de Mathématiques de Luminy, Marseille (on lambda-calculi, linear logic and semantics). Contact person(s) in Focus: Dal Lago, Martini. One joint PhD supervision (Michele Alberti) is starting at the end of 2011.

  • Inria EPI Signes, Inria Bordeaux Sud-Ouest (on lambda-calculi, linear logic and semantics). Contact person(s) in Focus: Dal Lago, Martini. Martini visited Signes for a few days in December 2010. One joint PhD supervision (Ivano Ciardelli).