Speaker: Francisco Rodriguez (Matic Research Laboratory, Department of Computing Science, University of Glasgow)