Homepage Inria website
  • Inria login
  • The Inria's Research Teams produce an annual Activity Report presenting their activities and their results of the year. These reports include the team members, the scientific program, the software developed by the team and the new results of the year. The report also describes the grants, contracts and the activities of dissemination and teaching. Finally, the report gives the list of publications of the year.

  • Legal notice
  • Cookie management
  • Personal data
  • Cookies

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.

  • Filippo Bonchi (ENS Lyon and University of Pisa) “Sound up-to techniques and complete abstract domain”.

  • Luis Fernando Llana Díaz (Universidad Complutense de Madrid) “Probabilistic software product lines”.

  • Claudia Faggian (Université Paris-Diderot – Paris 7) : “Probabilistic Lambda Calculus – beyond deterministic evaluation”

  • Nao Hirokawa (Japan Advanced Institute of Science and Technology): “Transformations for Lazy Evaluation and Theorem Proving”.

  • Guilhem Jaber (University of Nantes): “Game semantics for higher-order functions with state”.

  • Thomas Leventis (Institut de Mathematiques de Marseille): “Taylor Expansion of lambda terms and differential linear logic.”

  • Gabriel Scherer (Inria Parsifal). “Keep (re)playing until your get all the successes”.

  • Emilio Tuosto (University of Leicester): “On pomsets as models of asynchronous message-passing languages”.

  • Akihisa Yamada (NII Tokyo): “Mathematics for Complexity in Isabelle/HOL”.

Visits to International Teams

  • Francesco Gavazzo visited the Faculty of Mathematics and Physics (University of Ljubljana) hosted by Alex Simpson, from 02/10/2017 to 31/01/2018.

  • U. Dal Lago has spent overall a few weeks in Japan (University of Kyoto and University of Tokyo), collaborations with Naohiko Hoshino and Naoki Kobayashi.

Sabbatical programme

Simone Martini is Fellow at the Collegium - Lyon Institute for Advanced Studies, since September 2018 and until June 2019