From the 29th July to 2nd August 2024, the fifth edition of the Scottish Programming Languages & Verification Summer School (SPLV 2024) was organised by the MSP Group of the University of Strathclyde.

With 58 attendees from around the world, (including Scotland, England, the EU, and USA) students had the ability to engage with topics across programming languages and verification research.

The core courses for SPLV 2024 were

• Category Theory by Chris Heunen
• Type Theory by Conor Mc Bride

The invited course was:

• Introduction to Separation Logic by Jean-Marie Madiot

The specialised courses were:

• Type Theory & Implicit Complexity by Bob Atkey
• Mechanization of Binders by Kathrin Stark
• Category Theory for Semantics by Vikraman Choudhury
• Protocol Verification by Andrés Goens
• Effects and Handlers by Sam Lindley
• Applied Category Theory by Jules Hedges

SPLV is not just about learning; there were plenty of social acitivies as well. Monday night saw an informal ‘Pizza & Drinks’ reception held at the University, and the school dinner was held at a local resturant on the Tuesday. The excursion was on Wednesday afternoon where participants had the opportunity to explore Pollok Country Park, and come face-to-face with a menagerie of wildlife that included Highland Coos!

Finally, SPLV 2024 could not have been realised without the help of the sponsors:

• Gold Sponsor: Quantinuum
• Bronze: Tweag and Well-Typed.

SICSA played an important role in supporting the attendance of students from SICSA-affiliated Universities.