VeTSS Annual Conference 2025
The VeTSS Annual Conference is a key event for professionals from both academia and industry who are passionate about program analysis, testing, and verification. This open and inclusive gathering offers a unique opportunity to connect, share ideas, and stay at the forefront of cutting-edge research and innovation.
This year’s conference will feature exciting announcements, including the launch of the VeTSS Small Grants Scheme and the presentation of the VeTSS PhD Awards.
Don’t miss out — register your interest today and be part of the conversation shaping the future of software safety and security. To register your interest to attend complete this short form.
This year’s event will be held at the Royal Academy of Engineering, London on Friday, 6th of June. You can find the address and full directions to the venue on this link.
The meeting with start at 9:00. Registration, with tea and coffee, is from 8:30. On arrival, please make your way up to the ERA Foundation room on the first floor. You will be able to collect your badge there.
Please find the draft programme below. The detailed schedule will be updated periodically.
We want to make every VeTSS event a respectful and friendly environment for all, and we ask that everyone attending the Annual conference adheres to the VeTSS code of conduct.
Draft Programme
| 8:30 – 9:00 | Registration, with Tea and Coffee |
| Session 1: Keynote Talk | |
| 9:00 – 9:15 | Welcome, VeTSS Directors |
| 9:15 – 9:45 | Government body Briefing, representatives from DSTL/NCSC/EPSRC |
| 9:45 – 10:45 | Keynote talk, Alastair Donaldson (Imperial College London) |
| 10:45 – 11:15 | Morning break |
| Session 2: Industry Perspectives | |
| 11:15 – 11:45 | Talk: Anthony Fox (Arm) |
| 11:45 – 12:15 | Talk: Hanno Becker (AWS) |
| 12:15 – 12:45 | Talk: Rajagopal Nagarajan (Quentangle) |
| 12:45 – 14:00 | Lunch |
| Session 3 | |
| 14:00 – 14:30 | Talk: Mark Batty (University of Kent) |
| 14:30 – 15:00 | Talk: Samantha Frohlich (University of Bristol) |
| 15:00 – 15:30 | Talk: Mohammad Mousavi (King’s College London) |
| 15:30 – 16:00 | Afternoon break |
| Session 4 | |
| 16:00 – 16:30 | Talk: Lizzie Coles-Kemp (Royal Holloway, University of London) |
| 16:30 – 17:00 | Talk: NVIDIA |
| 17:00 – 17:30 | PhD Awards Ceremony |
by