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
- 2023 edition in St Andrews
- 2022 edition in Heriot-Watt
- 2021 edition in (virtual) Glasgow
- 2020 edition in (virtual) Edinburgh
- 2019 edition in Strathclyde
- Ekaterina Komendantskaya (Heriot-Watt University)
- Clemens Kupke (University of Strathclyde)
- Susmit Sarkar (University of St Andrews)
- Jeremy Singer (University of Glasgow)
- James Cheney (University of Edinburgh)
- Ohad Kammar (University of Edinburgh)
- Alasdair Hill (Heriot-Watt University)