University of Edinburgh logo

SPLV25: Scottish Programming Languages and Verification Summer School 2025

University of Edinburgh - 21st to 25th July

Guest Courses

Program verification using concurrent separation logic
Guest Lecturer: Robbert Krebbers
Abstract TBD
A few ideas from distributed systems for PL folk
Guest Lecturer: Lindsey Kuper
Abstract TBD

Courses

In addition to the guest courses, SPLV25 will offer core courses covering foundational knowledge as well as specialised courses covering more advanced topics. Details will appear here.

Prerequisites

The school is aimed at PhD students in programming languages, verification and related areas. Researchers and practitioners are very welcome, as are strong undergraduate and masters 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.

Funding Opportunities

We are happy to be able to offer some financial support for attendees.

EuroProofNet:

Participants from Inclusiveness Target Countries* (ITC) can apply with EuroProofNet for funding towards travel and accommodation. The reimbursment rules can be found on the EPN website. Please contact Frédéric Blanqui to apply.

(*) list of ITC countries: Albania, Armenia, Bosnia and Herzegovina, Bulgaria, Croatia, Cyprus, Czech Republic, Estonia, Georgia, Greece, Hungary, Latvia, Lithuania, Malta, Moldova, Montenegro, North Macedonia, Poland, Portugal, Romania, Serbia, Slovakia, Slovenia, Turkey, Ukraine.

EDI Sponsorship: We can offer financial support towards attending the School to members of underrepresented groups in our community, thanks to our sponsors.

Sponsorship

We are currently seeking sponsorship for the school. If your company is interested in supporting SPLV25, please get in touch with the organisers.

Further Information

If you have any questions please get in contact with the local organising team at:

splv-2025-organisers-group@uoe.onmicrosoft.com

The principal organisers of SPLV25 are: