Copenhagen Programming Language Seminar

Choreography & Session Types

Marco Carbone
Queen Mary University London, UK

Friday 5 December 2008, 13:00-14:00
The IT University, Rued Langgaards Vej 7, DK-2300 Auditorium 3


Choreography has recently emerged as a pragmatic and concise way of describing communication-based systems such as financial and security protocols and web services. This discipline focuses on global message flows and offers a vantage viewpoint of the system being designed.

In this talk I will introduce a model for choreography and show how global message flows can be mapped into executable code in a session-based setting. In particular, I will discuss how three principles of well-structured description and type structures play a fundamental role in the theory. I will also introduce different extensions of choreography such as interactional exceptions and multiparty session types.

Scientific host:Thomas Hildebrandt Administrative host: Annette Enggaard. All are welcome.
The Copenhagen Programming Language Seminar (COPLAS) is a collaboration between DIKU, ITU, KVL and RUC.
COPLAS is sponsored by the FIRST Graduate School.
To receive information about COPLAS talks by email, send a message to prog-lang-request@mail.it-c.dk with the word 'subscribe' as subject or in the body.

For more information about COPLAS, see http://www.coplas.org