During their secondment at UBA, Ugo de’ Liguoro and Emilio Tuosto have been invited to the international symposium on the mathematical foundations of software engineering in honor of Prof. Tom Maibaum. Ugo and Emilio attended the workshop on February 16 and 17 2019 where Emilio gave a talk on formal approaches to the development of behavioural APIs.
Emilio was partly supported by a KEEF grant of the University of Leicester.