SPLV’26: Scottish Programming Languages and Verification Summer School 2026 Aug 3 SPLV’26: Scottish Programming Languages and Verification Summer School 2026 3 August - 7 August
