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.
- 2026 edition in Glasgow
- 2024 edition in Strathclyde
- 2023 edition in St Andrews
- 2022 edition in Heriot-Watt
- 2021 edition in (virtual) Glasgow
- 2020 edition in (virtual) Edinburgh
- 2019 edition in Strathclyde
- James Cheney (The University of Edinburgh) --- Chair
- Jeremy Singer (University of Glasgow)
- Rob Stewart (Heriot-Watt University)
- Susmit Sarkar (University of St Andrews)
- Guillaume Allais (University of Strathclyde)
- Sam Lindley (The University of Edinburgh)