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
Ornela Dardha, from the University of Glasgow, will be participating as invited at the Scottish Summer School on Programming Languages and Verification SPLV 2019. Details of the school can be
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.