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, with check-in on Sunday afternoon and check-out on Friday.

Course Line-up

This year we have 3 invited core courses. 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)

Contributed Courses

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

Registration is now open via Eventbrite.

Registration is priced as:

Academic (early, registration deadline 30th June 2026): £260
Academic (late): £360
Standard (early, registration deadline 30th June 2026): £760
Standard (late): £860

This includes access to all sessions, catered lunch, social events, and a catered reception at Glasgow City Chambers.

We also have a limited amount of subsidised accommodation remaining at £195 for an en-suite room in Queen Margaret Residences, checking in on Sunday 2nd August and checking out on Friday 7th August. You can book this from the registration page.