Previous VeTSS Summer Schools

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

The VeTSS Summer School is 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 attend.

The 2026 VeTSS Summer School was held at the University of Exeter, 3-6 August 2026. For information about the talks, please see the programme page. Recordings of some of the lectures will be made available on our YouTube channel later in the summer. You can also 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.

We are very grateful to Achim Brucker and Diego Marmsoler, the local organisers for hosting us and for their very warm welcome and all the speakers for making this year’s School such a great event, as well as the team at the University of Exeter for heir help and support.

Details of the 2027 VeTSS Summer School will be published in early 2027 on this page and on our LinkedIn page, or you can join the (low intensity) VeTSS mailing list to receive updates on this link here. As always, for any questions, you can also email us contact@vetss.org.uk