BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Computer Science and Engineering - ECPv6.13.0//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://homecse.iitd.ac.in
X-WR-CALDESC:Events for Computer Science and Engineering
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Asia/Kolkata
BEGIN:STANDARD
TZOFFSETFROM:+0530
TZOFFSETTO:+0530
TZNAME:IST
DTSTART:20250101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Asia/Kolkata:20251211T110000
DTEND;TZID=Asia/Kolkata:20251211T170000
DTSTAMP:20260922T163538
CREATED:20251209T113155Z
LAST-MODIFIED:20251209T113155Z
UID:2239-1765450800-1765472400@homecse.iitd.ac.in
SUMMARY:Multiparty Session Types: Separation and Encodability Results by Prof. Nobuko Yoshida
DESCRIPTION:Venue: Bharti501 / Teams link will also be shared \nAbstract: Multiparty session types (MPST) are a type discipline for enforcing the structured\, deadlock-free communication of concurrent and message-passing programs. Traditional MPST have a limited form of choice in which alternative communication possibilities are offered by a single participant and selected by another. Mixed choice multiparty session types (MCMP) extend the choice construct to include both selections and offers in the same choice. This talk presents a mixed-choice synchronous multiparty session calculus and its typing system\, which guarantees communication safety and deadlock-freedom. We then talk of expressiveness of nine subcalculi of the MCMP-calculus by examining their encodability (there exists a good encoding from one to another) and separation (there exists no good encoding from one calculus to another). The highlight is that the binary (2-party) mixed sessions by Casal et al. (2022) are strictly less expressive than the MCMP-calculus. \n\nJoint work with Kirstin Peters appeared in LICS’24 (https://arxiv.org/abs/2405.08104) \nAbout the speaker. Nobuko Yoshida is Christopher Strachey Chair of Computer Science in University of Oxford. She is an EPSRC Established Career Fellow and an Honorary Fellow at Glasgow University. Last 10 years\, her main research interests are theories and applications of protocol specification and verification. She introduced multiparty session types [ POPL’08\, JACM ] which received the Most Influential POPL Paper Award in 2018 (judged by its influence over the last decade). This work enlarged the community and widened the scope of applications of session types\, e.g. runtime monitoring based on Scribble (co-developed with Red Hat) has been deployed to other projects such as cyberinfrastructure in the US Ocean Observatories Initiative (OOI); and widened the scope of her research areas. She received the Test-of-time-award from PPDP’24 and the best paper awards from CC’20\, COORDINATION’23 and DisCoTech’23. She received the third Suffrage Science Award for Mathematics and Computing from MRC for her STEM activity. She is an editor of ACM Transactions on Programming Languages and Systems\, Theoretical Computer Science\,  ACM Formal Aspects of Computing\, Mathematical Structures in Computer Science\, Journal of Logical Algebraic Methods in Programming\, and the chief editor of The Computer-aided Verification and Concurrency Column for EATCS Bulletin.
URL:https://homecse.iitd.ac.in/event/multiparty-session-types-separation-and-encodability-results-by-prof-nobuko-yoshida/
LOCATION:Bharti 501\, IIT Campus\, Hauz Khas\, New Delhi
CATEGORIES:Seminars
END:VEVENT
END:VCALENDAR