The agenda for the seminar is listed below.

Speaker: Ross Horne

Title: Multi-party Compatibility for Scribble with Synchronisation

The development of the Scribble language was lead by the late Kohei Honda at Queen Mary as a prototype of his line of work on multi-party session types. The Scribble language can be used for the design and verification of protocols. In this talk, we consider an extension of Scribble with synchronisation. For this extension, we provide a novel semantics based on recent developments in proof theory. From the semantics we obtain: a notion of multi-party compatibility, which tells us when parties in a protocol can communicate together successfully; and a notion of sub-typing to compare the relative strengths of protocols.

For more details, please go to the link‚Äč

Venue: Eng. 216

Time and Date: 2 to 3 PM, Wednesday, 11/11/15.

Any comments, advice would be appreciated.

2015 Nov 11th — Ross Horne