[TYPES/announce] SPLV 2025 - last call for applications

[Sam Lindley]

==================================================================
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!WDkGI-sohahu4rCqA_XFEEWII_Vx7_rXgUME7sJ1eLbm5cLGpisFdzVs_N4Purk9cAtdkfFaJ6yTLTj00MA0EJAWwIpaX33J4W2S$ 

** Application deadline: Wednesday 30th April 2025 **
==================================================================

To apply, please fill in this form by Wednesday 30th April:

   https://urldefense.com/v3/__https://forms.office.com/e/rDDGuYDsJB__;!!IBzWLUs!WDkGI-sohahu4rCqA_XFEEWII_Vx7_rXgUME7sJ1eLbm5cLGpisFdzVs_N4Purk9cAtdkfFaJ6yTLTj00MA0EJAWwIpaX8rdUVCz$ 

If you do not fill in the application form by 30th April 2025 then you will 
still be able to register, but will not be considered for a scholarship, early 
registration rate, or subsidised accommodation.

Full details on the website:

   https://urldefense.com/v3/__https://spli.scot/splv/2025-edinburgh/__;!!IBzWLUs!WDkGI-sohahu4rCqA_XFEEWII_Vx7_rXgUME7sJ1eLbm5cLGpisFdzVs_N4Purk9cAtdkfFaJ6yTLTj00MA0EJAWwIpaX33J4W2S$ 

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