Seminar by Emilio Tuosto

Date: April 21, 3pm
Place: GSSI Main Lecture Hall

Speaker: Prof. Emilio Tuosto

Title: Choreographies for Communicating Systems. An overview and some future
directions

Abstract: Communicating and distributed systems are notoriously difficult to design, implement, and verify. The problems that affect the realisation of traditional software are amplified by the effects produced by concurrency and distribution. Choreographies have been recently advocated as a promising approach to tackle the design and analysis of distributed systems. In this talk I will briefly present the general ideas behind choreographies, survey some of the recent results in the area, and discuss future research directions.