3rd Scottish Programming Languages and Verification Summer School (SPLV)
23 August 2021 by Jeremy Singer, University of Glasgow The 3rd Scottish Programming Languages and Verification Summer School (SPLV) took place online 9-17 Aug. Speakers included Guy Katz on verifying neural networks, Simon Peyton Jones on hashing syntax with alpha equivalence and Ilyena Hirskyj-Douglas on programming for animals. This varied line-up attracted lots … Read more