The VeTSS annual meeting 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.
This year’s event was held on the 21st May 2024 at the Royal Academy of Engineering, London. Details of next year’s event will be published on this page and our Zulip channel in early 2025.
by