SPLV’26: Scottish Programming Languages and Verification Summer School 2026

The University of Glasgow — 3rd Aug to 7th Aug

The 2026 edition of SPLV will be held at the University of Glasgow, with the main courses running from within our stunning old campus building, the Gilbert Scott Building.

Venue

The main courses will be held in One A, The Square, right next to the University Chapel.

campus map

A more detailed campus map is available here.

Accommodation

Students will be able to book discounted en-suite rooms at the Queen Margaret Residences, a 25-mins walk away from campus. Price will be £39/night.

Course Line-up

This year we have 4 invited core courses, one of which whom is an external guest speaker, to be announced in early 2026. We also have 6 contributed courses that will be running in parallel tracks.

Core Courses

Introduction to Types and Lambdas by Nachi Valliappan (University of Edinburgh)

Introduction to Model Checking by Oana Andrei (University of Glasgow)

Introduction to Category Theory by Bob Atkey (University of Strathclyde)

[Surprise Talk] by [Exciting Guest Speaker]

Contributed Talks

Formal Modelling with Bigraphs by Blair Archibald (University of Glasgow)

Distributed Systems: A Logical Approach by Jamie Gabbay (Heriot-Watt University)

Modal Fixpoint Logics by Clemens Kupke (University of Strathclyde)

Algebra and Normalisation by Ohad Kammar (University of Edinburgh)

Resource-constrained compiler construction for functional languages by Wim Vanderbauwhede (University of Glasgow)

Building Highly-Assured Compilers using Dependent Types by Jan de Muijnck-Hughes (University of Strathclyde)

Target Audience

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.

Contact

You can reach the organisers at:

glasgow-splv-organisers@lists.cent.gla.ac.uk

The organisers of SPLV’26 are:

Simon Fowler Simon.Fowler@glasgow.ac.uk
Matthew Alan Le Brun MatthewAlan.LeBrun@glasgow.ac.uk
Olivia Weston o.weston.1@research.gla.ac.uk
Jacob Trevor j.trevor.1@research.gla.ac.uk
Jeremy Singer Jeremy.Singer@glasgow.ac.uk

Registration

Pre-registration is now open! 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.

https://tinyurl.com/splv-pre-registration-26

We plan to prioritise students from SPLI 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.