News

University of Strathclyde hosts successful SPLV'24

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

The invited course was:

The specialised courses were:

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:

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