VeTSS

VeTSS Annual Conference 2026
2026-05-12 08:30 - 17:00 UTC | RAE Prince Phiilip House, 3 Carlton House Terrace, London, SW1Y 5DG, United Kingdom
The VeTSS Annual Conference is a one-day event featuring a programme of invited and contributed long and short talks. The conference aims to foster engagement with research areas closely aligned with VeTSS, including artificial intelligence, quantum computing, security, and machine learning. It provides a forum to present state-of-the-art research, discuss open challenges, and identify opportunities for cross-disciplinary collaboration within VeTSS-related themes.
This year’s event will be on Tuesday, 12th of May, at the Royal Academy of Engineering. Confirmed speakers include:

Keynote by Kathleen Fisher (CEO, ARIA)
Dominic Mulligan (AWS)
Don Syme (Microsoft / Github)
David Chisnall (CHERI)
Stephen Dolan (Jane Street)
Petros Wallden (University of Edinburgh)
Hana Chockler (King’s College London)
Tom Chothia (University of Birmingham)

This year’s event will also announce the VeTSS Doctoral Dissertation Awards, recognising outstanding PhD research conducted in the UK. In addition, the recipients of the VeTSS Research Award 2025 will share highlights from their innovative and exciting research.
Registration is free but numbers are limited. 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 event.

VeTSS Summer School 2026
2026-08-03 14:00 - 2026-08-06 12:30 | Xfi Building, University of Exeter, Streatham Campus, Exeter, EX4 4QJ, United Kingdom
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.
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.
Further information regarding registration and the programme will be announced shortly.
