VeTSS Summer School 2025
2025-08-11 14:00 - 2025-08-14 14:00 UTC | ARC, University of Glasgow, The Mazumdar-Shaw Advanced Research Centre, 11 Chapel Lane, University of Glasgow, Glasgow, G11 6EW, United Kingdom
VeTSS Summer School 2025 is a graduate school focused on program analysis, testing and verification. This year’s school will take place at the Advanced Research Centre, University of Glasgow, 11-14 August 2025.
The school is open to PhD students and early career researchers working on program analysis, testing and verification. but participation is by invitation only. Registration is now open. Women and anyone currently underrepresented in the field of Computer Science are especially welcome to apply.
For information about the talks, please see the programme page. The detailed schedule will be updated periodically.

VeTSS Summer School 2024
2024-08-13 09:00 - 2024-08-15 17:00 | University of Bristol, Fry Building, Bristol, BS8 1UG, United Kingdom
VeTSS Summer School 2024 is a graduate school focused on program analysis, testing and verification.
This year’s school will take place at the University of Bristol from Tuesday 13th to Thursday 15th August 2024.
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.

VeTSS Summer School 2023
2023-08-22 09:00 - 2023-08-24 17:00 | University Of Surrey, Stag Hill, University Campus, Guildford, GU2 7XH, United Kingdom
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.
