• Scottish Programming Languages and Verification Summer School 2025 https://spli.scot/splv/2025-edinburgh/ 3 comments 25/3/2025 programminglanguages