Registration for SPLV 2026 at University of Glasgow is now open. Please see https://spli.scot/ to view full programme and register.
About
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
The school is aimed at PhD students in programming languages, verification and related areas. Researchers and practitioners are welcome, as are strong undergraduate and masters students with the support of a supervisor. Participants should have a background in computer science, mathematics or a related discipline. Prospective students may contact the organisers if they have any concerns about background knowledge.
Learn more