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."
-
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.