LASIGE’s member Vasco Vasconcelos spent his sabbatical in Japan as a guest at Kyoto University, where he was hosted by Professor Atsushi Igarashi. His visit was from November to December 2023. During his visit, the researcher engaged with various computer science groups and presented his recent work on the FreeST programming language, which he and his team are developing at LASIGE. He gave talks not only at the institution he was visiting but also at Tokyo University, Nagoya University, and Oita University. The list of the invited talks delivered follows:

FreeST and Polymorphic Higher-order Session Types
Talk @ Nagoya University, November 2023

FreeST and Polymorphic Higher-order Session Types
Talk @ Kyoto University, December 2023

FreeST and Polymorphic Higher-order Session Types
Talk @ Oita University, December 2023

System Fμω with Context-free Session Types
Talk @ Tokyo Institute of Technology, December 2023

Photo credits: Vasco Vasconcelos