VeTSS Summer School 2025 is a graduate school focused on program analysis, testing and verification. This year’s school will take place at the Advance 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.