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 found here http://www.macs.hw.ac.uk/splv/.
Ornela also participated as an invited speaker at the Concurrency workshop and S-REPLS at University of Surrey (https://cw-srepls-19.github.io).