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