diff --git a/_101.json b/_101.json index 8c3c557..181ec54 100644 --- a/_101.json +++ b/_101.json @@ -1,4 +1,16 @@ [ + { + "tag": "Talk", + "date": "2024-02-13T12:00:00Z", + "speaker": "Nobuko Yoshida", + "speakerurl": "https://mrg.cs.ox.ac.uk/people/nobuko-yoshida/", + "institute": "Strachey Chair at University of Oxford", + "insturl": "", + "title": "Session types, Linear Logic and Expressiveness", + "abstract": "I will first talk about the origin of session types and its relationship with expressiveness.\n\nThe first technical part of this talk will present an expressiveness result between Linear Logic-based Session Types and System F. The second part gives a summary of recent results on session types, highlighting the expressiveness correspondence between various session-based process calculi.", + "location": "LT412", + "material": [] + }, { "tag": "SpecialEvent", "date": "2024-05-03T15:00:00Z",