[TYPES/announce] Scottish Programming Languages and Verification Summer School 2026: Call for Studentship & Accommodation Applications

[Simon Fowler]

Dear all,

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 2026 edition of the Scottish Programming Languages and Verification Summer School will be held in Glasgow, 3rd -- 7th August 2026 (https://urldefense.com/v3/__https://spli.scot/splv/2026-glasgow/__;!!IBzWLUs!U2K5SiCqz6jvPt9yTCxiSGWBh20qn2KyeKox4Kr11xIbWVLQ3DqeKsGTmKWf-6iyNiv2bsicY3Df69MVAXS2K-LboopmsKFyiQzTHlJRGyU$ ).

Thanks to generous sponsorship, we hope to be able to offer subsidised accommodation (£234 for the week) and studentships (waived registration fee) to participants. If you would like to express interest in a studentship or subsidised accommodation, please fill in the following form by Monday 27th April 2026. We will be in touch shortly after this date to confirm whether we can offer a studentship. Note that you can apply for accommodation without applying for a studentship and vice-versa.

  https://urldefense.com/v3/__https://tinyurl.com/splv-pre-registration-26__;!!IBzWLUs!U2K5SiCqz6jvPt9yTCxiSGWBh20qn2KyeKox4Kr11xIbWVLQ3DqeKsGTmKWf-6iyNiv2bsicY3Df69MVAXS2K-LboopmsKFyiQzTeiLqFuY$ 

We will prioritise students from Scottish institutions for studentships, but may be able to offer some studentships more widely depending on budget and uptake. We anticipate a larger number of places in subsidised accommodation to be available.

If you have any questions, please don’t hesitate to contact the organisers: glasgow-splv-organisers at lists.cent.gla.ac.uk.

Early registration will open towards the end of April and we will be in touch with further information then.

Best wishes,
Simon (on behalf of the SPLV’26 organising committee)

-----
Simon Fowler
Lecturer in Programming Language Foundations
School of Computing Science, University of Glasgow
https://urldefense.com/v3/__http://www.simonjf.com__;!!IBzWLUs!U2K5SiCqz6jvPt9yTCxiSGWBh20qn2KyeKox4Kr11xIbWVLQ3DqeKsGTmKWf-6iyNiv2bsicY3Df69MVAXS2K-LboopmsKFyiQzTGbggJUs$