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
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.
A number of members of the project, Mario Bravetti, Marco Carbone, Julien Lange, and Gianluigi Zavattaro, along with Nobuko Yoshida, have recently published a paper on asynchronous session subtyping at Concur 2019.
Ornela Dardha, from University of Glasgow, is participating at the BCSWomen Lovelace Colloquium as a role model. BCSWomen Lovelace Colloquium, the UK’s main conference for women computing students. Aimed at