VeTSS Summer School 2026 is a graduate school focused on program analysis, testing and verification. This year’s school will take place at the Henderson Lecture Theatre, Xfi Building, located on the Streatham Campus, University of Exeter, 3-6 August 2026.

Confirmed speakers include:

• Simon Cooksey (NVIDIA)
• Achim Brucker (University of Exeter)
• Wojciech Różowski (LEAN)
• Edwin Hamel-de le Court (University of Manchester)
• Patrick Totzke (University of Liverpool)
• Tom Chothia (University of Birmingham)

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.

Registration is free but numbers are limited. To register your interest to attend, please complete this short form.

Further information regarding the programme will be announced shortly.