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 speak, to be announced in early 2026. We also have 6 contributed courses that will be running in parallel tracks.

Core Courses

Introduction to Typed Functional Programming and the Lambda Calculus by Nachi Valliappan (University of Edinburgh)

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

Introduction to Category Theory by Bob Atkey (Strathclyde University)

[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 (Strathclyde University)

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 (Strathclyde University)

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

Early registration is not yet open. Check back in March 2026.