{"id":587,"date":"2022-04-09T11:37:31","date_gmt":"2022-04-09T10:37:31","guid":{"rendered":"https:\/\/www.macs.hw.ac.uk\/splv\/?page_id=587"},"modified":"2022-07-23T11:11:57","modified_gmt":"2022-07-23T10:11:57","slug":"splv22","status":"publish","type":"page","link":"https:\/\/www.macs.hw.ac.uk\/splv\/splv-2022\/","title":{"rendered":"SPLV 2022"},"content":{"rendered":"\n
\"\"
Heriot-Watt Campus<\/figcaption><\/figure><\/div>\n\n\n\n

This year, the Scottish Programming Languages and Verification Summer School returns to Edinburgh. The event is organized by the Department of Computer Science<\/a> at the Heriot-Watt University<\/a>.<\/p>\n\n\n\n

SPLV 2022 is scheduled to run one full week: Monday 11 July – Friday 15 July.<\/strong>  Lectures will run face-to-face on-site (on the Heriot-Watt campus), there’s the possibility to communicate online via SPLS Zulip<\/a> (e.g. for questions, arrival\/dinner on Sunday, …). To encourage active learning and participation, we arrange catering and accommodation on the Heriot-Watt campus. There will also be an active social program in the afternoons. The lectures are streamed on https:\/\/zoom.us\/j\/91382495934<\/a><\/p>\n\n\n\n

SPLV 2022 is kindly sponsored by the Scottish Informatics and Computer Science Alliance<\/a>.<\/p>\n\n\n\n

\"\"<\/p>\n\n\n\n

 Core Courses:<\/strong><\/span><\/p>\n

James McKinna (HWU)<\/strong>: “The lambda calculus, formalised: the Church-Rosser and Standardisation theorems, with applications”. Slides 1<\/a>. Slides 2<\/a>. Slides 3<\/a>. Agda formalisation and slides [zip]<\/a><\/p>\n