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.