[ 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!SEKbmKMpcc4_NUixG_Y0v3sbpRIar1kzX-uIMLGMgAdmHc5sUZKKeEUHKF8A1uDjgyRnt6yhRbkYzdmXFaXRhYSbO5fnWouMDcOXD8Q9Jbk$
==================================================================
Dear all,
We are happy to announce that applications for the Scottish Programming
Languages and Verification Summer School (SPLV) 2025 are now open! Applications
are submitted by filling in this form
(https://urldefense.com/v3/__https://forms.office.com/e/rDDGuYDsJB__;!!IBzWLUs!SEKbmKMpcc4_NUixG_Y0v3sbpRIar1kzX-uIMLGMgAdmHc5sUZKKeEUHKF8A1uDjgyRnt6yhRbkYzdmXFaXRhYSbO5fnWouMDcOX3ZfDc7Y$
).
As part of the form, students and members of underrepresented groups in our
community can apply for a scholarship.
Additionally, we offer accommodation in Edinburgh at a subsidised rate.
Applicants can register interest in a room as part of the form.
We hope to see you in Edinburgh in July!
Best wishes,
Malin, Ohad, Sam, and Nachi
