VeTSS

VeTSS Annual Conference 2025
2025-06-06 09:00 - 17:00 UTC | RAE Prince Phiilip House, 3 Carlton House Terrace, London, SW1Y 5DG, United Kingdom
This year’s event will be held at the Royal Academy of Engineering, Prince Philip House, London on Friday, 6th of June. You can find the address and full directions to the venue on this link.
Registration to the event is now open.

VeTSS Summer School 2025
2025-08-11 14:00 - 2025-08-14 14:00 | ARC, University of Glasgow, The Mazumdar-Shaw Advanced Research Centre, 11 Chapel Lane, University of Glasgow, Glasgow, G11 6EW, United Kingdom
VeTSS Summer School 2025 is a graduate school focused on program analysis, testing and verification. This year’s school will take place at the Advanced Research Centre, University of Glasgow, 11-14 August 2025.
The school is open to PhD students and early career researchers working on program analysis, testing and verification. but participation is by invitation only. Registration is now open. Women and anyone currently underrepresented in the field of Computer Science are especially welcome to apply.
For information about the talks, please see the programme page. The detailed schedule will be updated periodically.

Specialist Meeting on AI Technologies for Code Vulnerability Detection
2025-10-27 09:00 - 17:00 | TechUK, 10 St Bride Street, London, EC4A 4AD, United Kingdom
As part of an NCSC-backed research initiative, Surevine and VeTSS are seeking diverse expertise from academia, startups and industry to discuss evaluation frameworks, self-hostable architectures, data sovereignty, and emerging techniques/products in this field.
We invite leading experts to contribute to a workshop exploring AI/LLM applications across the Software Development Lifecycle (SDLC) for improving security and identifying security vulnerabilities.
Primary Focus
Static Analysis and Testing: Applying LLMs for vulnerability detection and mitigation suggestions (e.g., during SAST)
Secondary Areas

Dynamic Testing (DAST) – ML/LLM support for runtime vulnerability detection
Code Creation – Security-aware IDE plugins preventing common pitfalls
Code Reviews – LLM assistance for independent code review processes
Testing – Automated generation of security-focused unit/integration tests
Production Monitoring – Vulnerability detection in live systems
Impact Metrics – Measuring AI-enabled detection effectiveness vs. conventional methods

Date: 27 October 2025
Venue: TechUK, London (10 St Bride Street, EC4A 4AD)

VeTSS Annual Conference 2026
2026-05-12 08:30 - 17:00 | RAE Prince Phiilip House, 3 Carlton House Terrace, London, SW1Y 5DG, United Kingdom
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.
This year’s event will be on Tuesday, 12th of May, at the Royal Academy of Engineering. Confirmed speakers include:

Keynote by Kathleen Fisher (CEO, ARIA)
Dominic Mulligan (AWS)
Don Syme (Microsoft / Github)
David Chisnall (CHERI)
Stephen Dolan (Jane Street)
Petros Wallden (University of Edinburgh)
Hana Chockler (King’s College London)
Tom Chothia (University of Birmingham)

This year’s event will also announce the VeTSS Doctoral Dissertation Awards, recognising outstanding PhD research conducted in the UK. In addition, the recipients of the VeTSS Research Award 2025 will share highlights from their innovative and exciting research.
Registration is free but numbers are limited. To register your interest to attend, please complete this short form. We will then contact you as soon as we are able to confirm your place at the event.

VeTSS Summer School 2026
2026-08-03 14:00 - 2026-08-06 12:30 | Xfi Building, University of Exeter, Streatham Campus, Exeter, EX4 4QJ, United Kingdom
VeTSS Summer School 2026 is a graduate school focused on program analysis, testing and verification. This year’s school will take place at the University of Exeter, 3-6 August 2026.
Confirmed speakers include:

IR Memory Consistency Model, Simon Cooksey (NVIDIA)
Isabelle, Achim Brucker (University of Exeter)
LEAN, Wojciech Różowski (Lean FRO)
Safe AI, Edwin Hamel-de le Court (University of Manchester)
Patrick Totzke (University of Liverpool)
Protocols and Security, Tom Chothia (University of Birmingham)

The school is open to PhD students and early career researchers working on program analysis, testing and verification. but participation is by invitation only. Women and anyone currently underrepresented in the field of Computer Science are especially welcome to apply.
Registration is now closed.
