We are happy to announce that the **Scottish Programming Languages and Verification Summer School (SPLV) 2025** will take place at the University of Edinburgh during July 21-25.

Thanks to generous sponsorship we are able to subsidise student participation. Registration and scholarship information will be available on our website soon.

Please save the date, forward this announcement to anyone interested, and check the website: https://spli.scot/splv/2025-edinburgh/ for updates.