Summer School

The VeTSS Summer School (VSS) 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.  Details of the next VeTSS Summer School to be held in early August 2026 will be announced here in the coming months.

Previous VeTSS Summer Schools

The 2025 VeTSS Summer School was held at the University in Glasgow, Scotland, UK.

The 2024 VeTSS Summer School was held at the University of Bristol, Bristol, UK.

The 2023 VeTSS Summer School was held at the University of Surrey, Guildford, UK.

VeTSS Summer School 2025

August 11 @ 2:00 pm - August 14 @ 2:00 pm

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 [...]