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.

The event brings together researchers from academia, industry, and government with shared interests in safety, security, correctness, program analysis, testing, and verification, offering a valuable opportunity for networking and knowledge exchange across sectors.

This year’s event will also announce the VeTSS Doctoral Dissertation Awards, recognising outstanding PhD research conducted in the UK.

This year’s event will be held at the Royal Academy of Engineering, London on Tuesday, 12th of May. You can find the address and full directions to the venue on this link.

Further information regarding registration and the conference programme will be announced shortly.