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







