University of Edinburgh logo

SPLV25: Scottish Programming Languages and Verification Summer School 2025

University of Edinburgh - 21st to 25th July

Invited Course

Our guest lecture series opens a window to a related field.

Program verification using concurrent separation logic
Invited Lecturer: Robbert Krebbers

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.

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: