The VeTSS Annual Conference 2025 brought together leading researchers in verification, testing, and program analysis for a day of engaging talks, thought-provoking discussions, and community-building. The event aimed to:

  • Showcase cutting-edge research

  • Identify key open challenges in the field

  • Foster collaboration across the diverse themes of VeTSS

The day began with a warm welcome and introductions from the VeTSS directors, who reflected on the achievements of the past year. This was followed by a panel discussion featuring representatives from NCSC, DSTL, EPSRC, CRANE, and DSIT, who shared their perspectives on current challenges and future directions.

A highlight of the morning was the keynote lecture by Alastair Donaldson (Imperial College London), titled “In Search of Oracles: Testing Systems that Reason about Code.” His talk set the tone for a day filled with insightful presentations from both academia and industry. Seven additional speakers delivered talks that reflected the breadth and depth of ongoing work in the field, sparking lively conversations and new ideas among attendees. Delegates praised the variety and quality of the presentations, as well as the friendly and sociable atmosphere of the event.

One of the standout moments of the day was the presentation of the VeTSS Doctoral Dissertation Awards, which celebrate outstanding PhD research in the UK. Each award includes a £1,000 prize. Three winners were:

The VeTSS organising team would like to thank all speakers, and attendees for their valuable contributions. We hope you found the conference both productive and enjoyable.

Recordings of selected talks and presentation slides will soon be available on the VeTSS website. In the meantime, we invite you to join the VeTSS Zulip channel to stay up to date with news, events, and funding calls.

We look forward to welcoming many of you to future VeTSS events!