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.
The 2025 VeTSS Annual meeting will be held at the RAEng, Prince Philip House, London on Friday 6th of June 2025.
Details of the speakers and programme will be circulated very soon, but please register your interest to attend on this link.
by