As part of their secondments in the project, BehAPI work package leaders Hernán Melgratti (University of Buenos Aires), Luca Padovani (University of Torino), and Emilio Tuosto (University of Leicester) have
Although this year’s DisCoTec was not held physically in Malta as originally planned, the online version of the conference was a great success, with a large number of participants registering
As part of his secondment at Ixaris in Malta during the first week of February, Hans Huttel gave a talk titled “Typestate Inference for Mungo: Algorithm and Implementation” to
On December 19, as part of a workshop in Glasgow of the ABCD project, António Ravara gave a talk on Behavioural Types for Memory Safety in Mungo. Abstract We present a
As part of his secondment at NOVA, Prof Simon Gay gave a talk titled ‘Cables, Trains and Types’ last October, 2019. Abstract: Many concepts of computing science can be illustrated
As part of his secondment to NOVA, Prof Emilio Tuosto shall be giving a talk about Behavioural APIs and Choroeographic Development on 26th February, 2020. Abstract Choreography envisages distributed coordination








