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