This year, the Scottish Programming Languages and Verification Summer School returns to Glasgow (at least, virtually). The online event is organized by the School of Computing Science at the University of Glasgow.

SPLV 2021 is scheduled across two consecutive weeks: Monday 9 August – Friday 13 August, then Monday 16 August – Wednesday 18 August, with 1-2 hours commitment most days.

Provisional Schedule:

• Mon 9 Aug – Thu 12 Aug, 10 – 11:30 – Guy Katz (Safety in AI Systems)
• Mon 9 Aug, 14 – 15:30 – Simon Peyton Jones (Hashing Modulo Alpha Equivalence)
• Fri 13 Aug, 10 – 12 – Jennifer Allanson (How to present your research online)
• Fri 13 Aug, 14 – 15:30 – Virtual expedition (details to follow)
• Mon 16 Aug, 14 – 15:30 – Ilyena Hirskyj-Douglas (Programming Computers for Animals)
• Tue 17 Aug, 14 – 15:30 – Virtual poster session 1
• Wed 18 Aug, 14 – 15:30 – Virtual poster session 2