Laura Bocchi (University of Kent) and Ornela Dardha (University of Glasgow) visited Freelands SRL and University of Bologna, in Bologna, Italy as part of their BehAPI secondments. Laura and Ornela met with Freelands CEO and developers, learned about the APIgator tool (a demo was given by the Freelands developers), and discussed about possible integration of behavioural types with APIgator.

Also, as part of this visit, Laura and Ornela had discussions with members of BehAPI in Bologna and gave talks, details follow.

Laura gave a talk at the FOCUS team/DISI at University of Bologna on “Time Sensitive Protocol Design and Implementation”, and Ornela gave a talk at FOCUS team/DISI at University of Bologna on “A New Linear Logic for Deadlock-Free Session-Typed Processes.

Leave a Reply