[TYPES/announce] Scottish Programming Languages and Verification Summer School (SPLV) 2025 at the University of Edinburgh

[Simon Fowler]

==================================================================
Scottish Programming Languages and Verification Summer School 2025
Monday 21st -- Friday 25th July 2025
The University of Edinburgh
https://urldefense.com/v3/__https://spli.scot/splv/2025-edinburgh/__;!!IBzWLUs!UYs_9IcrLowpf4RW9J2kbhbBh7k02ZprvD6TmG0dymok3ekkNP5WPuVTaQQF8X4nYRFTBHPjUmaDQfbi1hn2Kzpj9h8CZHdshGFsn0EFwzI$ 
==================================================================

Dear all,

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

Scotland is internationally renowned for its leading expertise in
programming language design, implementation, and formal verification.
Since 2019, SPLV has provided local and international students with
foundational and advanced learning on topics in programming languages
and verification research.

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

Please feel free to forward this announcement onwards to those
interested. We cannot wait to see everyone in July!

If you have any questions, please don't hesitate to contact the SPLV
2025 organisation committee at:

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

Best wishes,

Malin, Ohad, Sam, and Nachi

---

Courses:

Program verification using concurrent separation logic
Robbert Krebbers, Radboud University Nijmegen

A few ideas from distributed systems for PL folk
Lindsey Kuper, University of California, Santa Cruz

Application programming with dependent types
Edwin Brady, University of St Andrews

Type theory
Fredrik Nordvall Forsberg, University of Strathclyde

Behavioural types
Simon Fowler, University of Glasgow

Concurrency theory
Rob van Glabbeek, University of Edinburgh

Logical relations for program equivalence
Filip Sieczkowski, Heriot-Watt University

Models, programs and bidirectional transformations
Perdita Stevens, University of Edinburgh