SPLV23: Scottish Programming Languages and Verification Summer School, 2023

This year, the Scottish Programming Languages and Verification Summer School will be held in St Andrews. The event is organized by the School of Computer Science at the University of St Andrews.

SPLV 2023 is scheduled to run one full week: noon on Monday 24 July to noon on Friday 28 July. Lectures will run face-to-face on-site, in the Jack Cole building in the North Haugh campus. We will use the SPLS Zulip for online communications (e.g. for questions, arrival/dinner on Sunday, …).

SPLV 2023 is kindly sponsored by the Scottish Informatics and Computer Science Alliance.

Lecturers:

• Dominic Orchard (University of Kent) Graded Types
• Guillaume Allais (University of Strathclyde) Programming Over Serialised Data
• Adam Barwell (University of St Andrews) Parallel Programming
• James Cheney (University of Edinburgh) TBC
• Simon Fowler (University of Glasgow) Introduction to Session Types
• Vashti Galpin (University of Edinburgh) Temporal Language Integrated Query

Prerequisites:

The school is aimed at PhD students in programming languages, verification and related areas. Also, researchers and practitioners will be very welcome, as will strong master’s students with the support of a supervisor. Participants will need to have a background in computer science, mathematics or a related discipline, and have basic familiarity with (functional) programming and logic.

Registration:

The registration fee covers course attendance, coffee breaks and lunches. The registration fees are:

• General Registration: £100
• PhD students at Scottish Universities: £0 (Thanks to our generous sponsorship from the Scottish Informatics and Computer Science Alliance)

Registration is through the St Andrews Online Shop: SPLV’23 under Events, or use this direct link.

Accommodation:

We have reserved a block for 4-night accommodation (Monday to Friday) in student dorms at the David Russell Apartments (DRA), at £49 per night per person (excluding VAT). You can book yourself; please get in touch to get a discount code.

Programme:

Monday 24th July

• 2pm Vashti Galpin
• 3:30pm Break
• 4pm Simon Fowler - Session Types I: Binary Session Types

Tuesday 25th July

• 9am Simon Fowler - Session Types II: Multiparty Session Types
• 10:30am Break
• 11am James Cheney
• 12:30-2pm Lunch
• 2pm Dominic Orchard - Graded Types I: Theory and practice of linear types
• 3:30pm Break
• 4pm Dominic Orchard - Graded Type II: Extending from linear types to graded types

Wednesday 26th July

• 9am Adam Barwell
• 10:30am Break
• 11am Guillaume Allais - Dependent Types I: Introduction to Idris 2
• 12:30-2pm Lunch
• 2pm Dominic Orchard - Graded Types III: Communication, uniqueness, and mutation

Thursday 27th July

• 9am Adam Barwell
• 10:30am Break
• 11am Guillaume Allais - Dependent Types II: Generic Programming
• 12:30-2pm Lunch
• 2pm Dominic Orchard - Graded Types IV: Grades in the wild via “graded base” and graded monads
• 3pm Dominic Orchard - Programming for the Planet - PL and the Climate Crisis
• 3:30pm Break
• 4pm Student Lightning Talks

Friday 28th July

• 9am Guillaume Allais - Dependent Types III: Programming Over Serialised Data
• 10:30am Break
• 11am Adam Barwell

Further Information:

Please contact one of the local organisers if you have any questions:

• Edwin Brady ecb10@st-andrews.ac.uk
• Susmit Sarkar Susmit.Sarkar@st-andrews.ac.uk
• Chris Brown cmb21@st-andrews.ac.uk
• Adam Barwell adb23@st-andrews.ac.uk