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 [...]
BACKGROUND The Research Institute in Verified Trustworthy Software Systems (VeTSS), hosted at Imperial College London and the University of Surrey, is a UK Academic [...]
Nominations are invited for the annual VeTSS Doctoral Dissertation Award. This award aims to recognise excellence in research by PhD students in the UK working [...]
Join us on Thursday 27th of March 2025 for a one-day event dedicated to discussing the value of feminism in the theory and practice of Computer Science and Cyber Security. This [...]
Hardware Security Training Roadshow Interested in attending a 2-day training course on Hardware Security & Pen testing with renowned trainer Joseph FitzPatrick? The UK Research Institute [...]
26th International Symposium on Trends in Functional Programming 13th to 16th January 2025, Oxford, UK The symposium on Trends in Functional Programming (TFP) is an [...]
The VeTSS Summer School 2024 was hosted by the Department of Computer Science at the University of Bristol from August 13th to 15th. A [...]
This Open for Business event is part of an INI programme on Big Specification. It aims to provide a meeting ground to facilitate interactions and exchanges between representatives of academia, [...]
Applications are invited for a Research Associate (postdoctoral) position at Imperial College London, UK, under the supervision of Dr Azalea Raad. This is a two-year position, with the [...]
CyberASAP is a well-established programme now in its seventh year. The in-depth programme supports UK academics who are interested in commercialising their cyber security ideas and [...]
The Research Institute on
Verified Trustworthy Software Systems
The Research Institute on
Verified Trustworthy Software Systems
© Copyright 2024 • Made with 
by Envious Digital
