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
Hernán Melgratti, site leader at the University of Buenos Aires, gave a talk to PhD students and researchers about the current status of BehAPI project and answered questions about our
José Miguel Rojas, from the University of Leicester, is currently visiting the University of Buenos Aires. He was invited to give two talks at the Laboratory on Foundations and Tools for
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
After the great week we had at the Summer School in Leicester we invite all participants to fill this short questionnaire to know about your experience attending the school. Click
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.
On February 21 and 22 2019, Hernán Melgratti, Ugo de’Liguoro, and Emilio Tuosto visited McAfee Cordoba hosted by Dr. Dan Hirsch. The visit concerned organisational aspects of the 1st school