Skip to content

Latest commit

 

History

History
87 lines (60 loc) · 3.98 KB

index.md

File metadata and controls

87 lines (60 loc) · 3.98 KB
title
SPLV 2023

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:

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

Tuesday 25th July

  • 9am Simon Fowler
  • 10:30am Break
  • 11am James Cheney
  • 12:30-2pm Lunch
  • 2pm Dominic Orchard - Graded Types I: Theory and practice of linear and graded types
  • 3:30pm Break
  • 4pm Dominic Orchard - Graded Type II: Combining indexing and 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, uniquneess, 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: Graded monads and effects
  • 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: