EN FR
EN FR


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.

  • German Vidal and Adrián Palacios: “A Reversible Semantics for Erlang." (2 visits, during the year)

  • Matteo Acclavio: "Proof Diagrams for Multiplicative Linear Logic: Syntax and Semantics."

  • Ken Sakayori: "A Truly Concurrent Game Model of the Asynchronous pi-Calculus."

  • Marco Carbone: "Multiparty Session types and Linear Logic."

  • Beniamino Accattoli: "The Complexity of Abstract Machines."

  • Ulrich Schoepp, on Complexity analysis of probabilistic programs.

Visits to International Teams

U. Dal Lago has spent two weeks in Japan (University of Kyoto and University of Tokyo). Topics: geometry of interaction for continuous probabilistic programming languages, and categorical models for multitoken machines.