The VeTSS annual conference is one-day meeting with long and short talks. The aim is to connect with VeTSS adjacent research, such as AI, Quantum Computing, Security and Machine learning, discuss state-of-the-art research and its open challenges and seek cross-pollination opportunities with VeTSS themes. The audience are academic, industry and government researchers, with an interest in safety, security, correctness, program analysis, testing, and verification.
The 2026 VeTSS Annual conference will be held at the RAEng, Prince Philip House, London on Tuesday 12th of May 2026.
Registration to this year’s conference is now closed. We are oversubscribed, and regretfully, we will not be able to offer places to those on the waiting list; you can send us an email to contact@vetss.org.uk if you still want to be added to it. We will record most of the talks, and these will be added to the conference page and our video archive shortly after the conference.
by