[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
==================================================================
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:
[email protected]
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
