SPLV 2019

The Scottish Programming Languages and Verification Summer School 2019 will take place in Glasgow 5–9 August 2019, hosted by the Mathematically Structured Programming Group at the University of Strathclyde.


The school will feature an invited course, two core courses taken by all participants, as well as four specialised courses from which participants choose according to their interests.

Invited course

Core courses

  • Phil Wadler (University of Edinburgh): Programming Language Foundations in Agda (textbook)
  • Neil Ghani (University of Strathclyde): Category Theory

Specialised courses


The school is aimed at PhD students in programming languages, verification and related areas. Also researchers and practitioners will be very welcome, as will strong master’s students with the support of a supervisor. Participants will need to have a background in computer science, mathematics or a related discipline, and have basic familiarity with (functional) programming and logic.


Registration is now open. Please register by following this link.

Since the school is sponsored by SICSA, attendance will be free for PhD students affiliated with Scottish universities. The registration fees in general are as follows:

SICSA student£0
Academic (non-student)£160

The registration fee covers coffee breaks, lunches and an excursion.

Early registration deadline: 4 July.


To be announced. The school will run from 9am–5pm each day, finishing around 3pm on the Friday.


We can offer accommodation in student halls for students for £170, as part of the registration process. Alternatively, there are plenty of hotels (e.g. Glasgow City Centre Premier Inn, the Z Hotel, the Brunswick Hotel, or Moxy), hostels (e.g. Eurohostel or Hostelling Scotland Glasgow Metro) and Airbnbs in central Glasgow.


The school will take place at the University of Strathclyde campus in central Glasgow.

Trains. See National Rail for trains within the UK. Note that if travelling together with someone, it might be cheaper to get a Two Together railcard (or a 16–25 railcard if you are a (PhD) student). Both Glasgow Central and Glasgow Queen Street Station are within walking distance of the University of Strathclyde.

Planes. The closest airports are Glasgow International Airport (30 minutes bus connection (bus 500) to George Square), Edinburgh Airport (1 hour bus connection (Citylink Air) to Buchanan Bus Station) and Glasgow Prestwick Airport (40-50 minutes train connection to Glasgow Central).

Getting around Glasgow. The city centre is quite compact, so walking is not a bad idea. Otherwise your options are suburban trains, the subway, bikes for hire, buses or taxis. You will need a separate ticket for each mode of transport.

  • You can buy train tickets using ticket machines at most stations (if you can’t, you can buy them on the train, or before leaving the destination station). Bafflingly, it’s sometimes cheaper to buy a return ticket, and even if not, the difference in price is going to be minimal, so you might as well always buy the return. After 9am, you can use a cheaper “off-peak” ticket.
  • The Subway is easy to use, but does not reach all parts of the city. A single ticket costs £1.70, and a return £3.20, so you might as well get two singles unless you are sure you are going to return on the subway again.
  • Nextbike operates a bike sharing scheme with stations all across the city. You sign up and then rent the bikes using an app on your phone, which will give you a code to unlock them. Without a yearly subscription, the price is £1/30 minutes; this should be enough time to get you to most places in Glasgow, and is the cheapest non-walking option.
  • Most buses in Glasgow are operated by First. You will need exact change (typically either £1.65 for a “short journey”, or £2.10; you can tell the bus driver where you are going, and they will hopefully tell you the price), or a contactless debit/credit card. It is probably easiest to use Google maps to figure out which bus to get, and when.
  • Taxis are reasonably priced in Glasgow. Decent companies include Hampden cars (phone number 0141 332 5050) and Network Private Hire (phone number 0141 557 1110). They both have apps for booking a ride, but there is also Uber in the city.


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 — please get in touch if you are interested.