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 [...]
About vetsseditor2
This author has not yet filled in any details.So far vetsseditor2 has created 26 blog entries.
MGS in the Foundations of Computing Science 25
University of Sheffield, 7-11 April 2025 On 7-11th April, the School of Computer Science at the University of Sheffield hosted the 25th edition of [...]
S-REPLS 16 at Imperial College London
Tuesday, 1 April 2025, London VeTSS supported the 16th edition of S-REPLS, which took place at Imperial College London on 1st April 2025, and [...]
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 [...]
Vacancy: Senior Lectureship and Lectureship in Cyber Security, University of Surrey
The School of Computer Science and Electronic Engineering at the University of Surrey, UK is seeking to recruit a full-time Senior Lecturer and a full-time [...]
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 [...]
Annual Report 2023/2024
VeTSS 2025
Vacancy: Assistant Professor (Tenure Track) of Theoretical Computer Science
The Department of Computer Science (www.inf.ethz.ch) at ETH Zurich invites applications for an assistant professorship (tenure track) in computer science with focus on Theoretical Computer [...]
26th International Symposium on Trends in Functional Programming
Oxford, 13th to 16th January 2025 From 13th to 16th January 2025, the 26th International Symposium on Trends in Functional Programming took place in [...]
by