VeTSS Summer School 2023 is a graduate school focused on program analysis, testing and verification.

This year’s school will take place at the University of Surrey, Guildford, UK, from Tuesday 22nd  to Thursday 24th August 2023.

PROGRAMME

Over three full days, you will have the opportunity to attend talks and workshops led by experts in the field, meet with established researchers and other PhD students and learn new skills in a safe and welcoming space. You can see the programme here.