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:
- SPLV’19 in Strathclyde
- SPLV’20 at Edinburgh Informatics
- SPLV’21 (online) in Glasgow
- SPLV’22 at Heriot-Watt University (Edinburgh)
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.
Sponsorship
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 |
