Due to the current situation of Covid-19, the BehAPI Workshop at DisCoTec scheduled for June is regrettably cancelled. We apologise for any inconvenience.

  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

Horizon 2020 ‘Excellent Science’ video, featuring an interview with Adrian Francalanza, project coordinator and University of Malta site leader. On YouTube: On Facebook:  

The long awaited summer school in Leicester has come and gone, starting last Monday 8th July and finishing on Friday 12th July as planned. It was deemed a great success by

Last Friday, 5th July, members of the consortium had the mid term meeting, as required of all RISE projects, while joined by the Project Adviser from Research Executive Agency Simona Losmanova.