SPLV: Scottish Summer School on Programming Languages and Verification

Glenfinnan Monument, Picture: Young.Scott


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 

Current and Previous Summer Schools:

Steering committee:

Ekaterina Komendantskaya

Heriot-Watt University

Clemens Kupke

Strathclyde University

Susmit Sarkar

St Andrews University

Jeremy Singer

Glasgow University

James Cheney

Edinburgh University

Ohad Kammar

Edinburgh University

General publicity chair:

Alasdair Hill, Heriot-Watt University.


The summer school is generously sponsored by SICSA, the Scottish Informatics and Computer Science Alliance, and partially supported by ERC grant Skye (grant no 682315) and the UK Manycore Network.

We also offer a range of sponsorship opportunities for industry with attractive benefits:

Platinum package: £2000

Logo on website

Flyers distributed to participants

Short presentation during the school

Permanent booth during the School

3 registrations

Gold package: £1000

Logo on website

Flyers distributed to participants

Short presentation during the school

2 registrations

Silver package: £500

Logo on website

Flyers distributed to participants

1 registration

Bronze package: £250

Logo on website

Additional options:

T-shirt Sponsor: You provide the Summer School T-shirt (with your logo on it) to participants
Gift Sponsor: You provide Summer School mugs and/or notebooks (with your logo on it)
Travel Sponsor:  You provide travel support for students without their own funding