SPLV logo

Scottish Programming Languages and Verification Summer School

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:

Code of Conduct

From 2024 onward, all SPLV events and activities operate under the following Code of Conduct.

Current and Previous Summer Schools:

Future Edition

Current Edition

Past Editions

Steering committee