Summer School 2025

11 – 14 August 2025, University of Glasgow

Welcome to the 2025 VeTSS Summer School, a graduate school focused on program analysis, testing and verification. The school is open to PhD students and early career researchers working on program analysis, testing and verification. but participation is by invitation only. Women and anyone currently underrepresented in the field of Computer Science are especially welcome to apply.

The 2025 VeTSS Summer School took place at the Advanced Research Centre, University of Glasgow, 11-14 August 2025. We are very grateful to the University of Glasgow and the ARC centre for hosting us, and to the local organisers, Professor Jeremy Singer and Kai Feng for their indefatigable work and support.

Registration

Registration for this year’s school is now closed, as we have reached capacity. If were not offered a place, recordings of some of the lectures will be made available on our YouTube channel later in the summer. Registration to the VeTSS Summer School 2026 will be announced in early 2026.

Programme

For information about the talks, please see the programme page.

You can find talk recordings and links to materials in the pages for previous editions. Typically, each day is divided in two or three sessions, with lectures and tutorials on theoretical and practical topics, including the use of interactive and automated verifications tools. These are then followed by optional social activities in the evenings.

Any Questions?

If you have any questions, or want to check anything, just contact us at contact@vetss.org.uk