Date: April 21, 3pm
Place: GSSI Main Lecture Hall
Speaker: Prof. Emilio Tuosto
Title: Choreographies for Communicating Systems. An overview and some future
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.