SPLV’26: Scottish Programming Languages and Verification Summer School 2026
The 2026 edition of SPLV will be held at the University of Glasgow, with the main courses running from within the Gilbert Scott Building. 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.