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 [...]
We are very happy to be on of the sponsors of this year's Kent Concurrency Workshop and S-REPLS 15, taking place at the University of [...]
We are very happy to be one of the sponsors of "Fun in the REPL", a one day joint meeting of the Fun in the [...]
The one-day VeTSS industry innovation sandpit at Imperial I-X has been postponed. We are are looking for alternative dates and we will advertise this as [...]
We had great weather on the final days of this year's VeTSS Summer School 2023, to cap a week full of amazing talks and tutorials. [...]
The Research Institute on
Verified Trustworthy Software Systems
The Research Institute on
Verified Trustworthy Software Systems
© Copyright 2024 • Made with 
by Envious Digital
