mspstrath, 
We are pleased to officially announce that we are organising the Scottish Programming Languages and Verification Summer School 2024!
Registration will be open later this month!
We are kindly supported by SICSA and Bronze Level supporter: Well-Typed!
#ProgrammingLanguages #SummerSchool #Verification
For more details, and to see what we have in store, visit:
https://scottish-pl-institute.github.io/splv/2024-strathclyde/
(1/n)
Add comment