Scottish Programming Languages and Verification Summer School, August 3-14, 2020, Edinburgh Informatics http://www.macs.hw.ac.uk/splv/splv20/