Sun 22 - Fri 27 October 2023 Cascais, Portugal
Sun 22 Oct 2023 11:00 - 12:30 at Room XIII - ST30 Day 1 Session 2 - Invited talk Chair(s): Vasco T. Vasconcelos

In this talk, I give the origin and 30 years journey of session types using Kohei Honda’s slides on types for interactions. I then give a tribute to the Princess of Session Types. The talk also poses the question–why the session types are continuously studied and developed among other behavioural types.

Sun 22 Oct

Displayed time zone: Lisbon change

11:00 - 12:30
ST30 Day 1 Session 2 - Invited talkST30 at Room XIII
Chair(s): Vasco T. Vasconcelos LASIGE, University of Lisbon
Beyond Types for Dyadic Interaction
Nobuko Yoshida University of Oxford