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 of engagement from PhD students in Scotland and further afield. We also enjoyed a poster session where participants shared overviews of their research projects. Thanks to SICSA for sponsoring the UberEats vouchers for our virtual expedition.
Archived conference materials including some recorded talks are up at https://www.macs.hw.ac.uk/splv/splv-2021/
Watch this space for news about SPLV 22!