Celebrating the VeTSS Summer School 2025 Cohort: 4 days of Learning and Collaboration
The VeTSS Summer School 2025 was hosted by the Department of Computer Science at the University of Glasgow from August 11th to 14th. This [...]
VeTSS Annual Conference 2025: A Day of Insight, Innovation, and Community
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 [...]
VeTSS Research Awards, Call for Proposals
BACKGROUND The Research Institute in Verified Trustworthy Software Systems (VeTSS), hosted at Imperial College London and the University of Surrey, is a UK Academic Research [...]
VeTSS Doctoral Dissertation Awards, Call for nominations
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 [...]
The Value of Feminism in the Theory and Practice of Computer Science and Cyber Security
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
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 [...]
TFP (and TFPiE) 2025 and Conference Opportunity for PhD Students and ECR
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 [...]
VeTSS Summer School 2024
The VeTSS Summer School 2024 was hosted by the Department of Computer Science at the University of Bristol from August 13th to 15th. A [...]
Formal Specification and Validation at Scale, INI, 21st-22nd October, 2024
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, [...]
Vacancy: Research Associate in Program Semantics and Verification at Imperial College London
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 [...]
by