A number of members of the project, Mario Bravetti, Marco Carbone, Julien Lange, and Gianluigi Zavattaro, along with Nobuko Yoshida, have recently published a paper on asynchronous session subtyping at Concur 2019.
Ornela Dardha, from University of Glasgow, is participating at the BCSWomen Lovelace Colloquium as a role model. BCSWomen Lovelace Colloquium, the UK’s main conference for women computing students. Aimed at
Last Saturday, the BehAPI workshop at ETAPS successfully took place, where speakers both from within and outside the project gave a number of interesting talks about Mechanising Proofs for Behavioural Types
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
Ivan Arcushin (who is doing his secondment in Leicester from UBA), Jose’ Rojas, and Emilio Tuosto just had a very exiting meeting with Fiona, Ian, and Neil from Xibis about