As part of goal to remove barriers to participation we aim to record and made available as many of our talks, Summer School tutorials and Annual Meeting presentations. You can find playlist for most of the events organised by VeTSS in our YouTube channel and individual videos of each talk in our VeTSS videos page.

The Research Institute on Verified Trustworthy Software Systems (VeTSS) is an UK Academic Research Institute in Cyber Security, jointly hosted by the University of Surrey and Imperial College London, with Prof Brijesh Dongol (Surrey) and Dr Azalea Raad (Imperial) as Directors.

VeTSS is one of four research institutes within the National Cyber Security Centre (NCSC), bringing together leading academics, industry professionals, regulators and government representatives to ensure research into software stays focused on the safety and security challenges faced by the UK and mitigates the risks posed.

The aim of VeTSS is to address the challenge of traditional methods for ensuring software reliability no longer being adequate in modern contexts, by bringing together and supporting world-class UK academics and industrialists unified by a common interest in program analysis, testing, and verification. VeTSS stands at the forefront of research developments in fundamental theories and industrial-strength tools, targeting real-world applications.