The VeTSS Summer School is a graduate school focused on program analysis, testing and verification.
The school is open to second and third-year PhD students and early career researchers, but participation is by invitation only. Women and anyone currently underrepresented in the field of Computer Science are especially welcome to apply.
The 2023 VeTSS Summer School was held at the University of Surrey, Guildford, UK. Details of the 2024 VeTSS Summer School will be posted on this page and our Zulip channel.