Previous VeTSS Summer Schools

2025, University of Glasgow
2024, University of Bristol
2023, University of Surrey

Welcome to the 2026 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 2026 VeTSS Summer School will take place at the Henderson Lecture Theatre, Xfi Building, located on the Streatham Campus, University of Exeter, 3-6 August 2026.

Registration

We are committed to make the school as accessible as possible and to that end we do not charge a registration fee. If you are accepted to take part in the Summer school, we will offer you free accommodation and lunches and refreshments during the day.

Regrettably, travel to and from the Summer School and evening meals are not included. You or your supervisor will have to cover the cost of travel and the evening meals.

To register your interest to attend, please complete this short form. We will then contact you as soon as we are able to confirm your place at the Summer school.

Programme

Programme page is under construction. It will soon be available.

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