The Scottish Programming Languages and Verification Summer School is a collaborative effort between the Universities of Edinburgh, Glasgow, Heriot-Watt, Strathclyde and St Andrews. This summer school provides core and advanced classes that cover foundational as well as state of the art knowledge on the underlying principles needed to use or design new languages and verifying program correctness.
This school aims to:
Facilitate rapid knowledge exchange, in addition to providing essential research training and networking for postgraduate students.
Give postgraduate students the opportunity to network with fellow students in the field as well as many established researchers.
Provide essential postgraduate training in theoretical underpinnings of computer science and in programming languages
From 2024 onward, all SPLV events and activities operate under the following Code of Conduct.