VeTSS Summer School 2023

Welcome to the 2023 VeTSS Summer School, a graduate school focused on program analysis, testing and verification.

This year’s school will take place at the University of Surrey, Guildford, UK, from Tuesday 22nd  to Thursday 24th August 2023.


Over three full days, you will have the opportunity to attend talks and workshops led by experts in the field, meet with established researchers and other PhD students and learn new skills in a safe and welcoming space. You can see the programme here.


The school is open to PhD students and early career researchers, but participation is by invitation only. The deadline for applications is now closed. If you have applied but have not received a confirmation email or have had any problems applying online, please contact us at

Women and anyone currently underrepresented in the field of Computer Science are especially welcome to apply.

We are committed to make the school as accessible as possible and to that end, we will not charge a registration fee.

If accepted to take part in the VeTSS Summer school, we will cover the cost of your registration fee, which includes the following: accommodation at the Surrey university Stag Hill campus for three days, breakfast, lunches and refreshments for the three days and the conference dinner. It does not include evening meals other than the conference dinner.

Travel costs are not included; you will need to ask your University or supervisor to fund your travel to the school. If they can not fund your travel costs, let us know, depending on funding we may be able to offer a small number of travel grants.