VeTSS Blog
From Theory to Practice: A Researcher’s Reflections on the VeTSS Annual Conference 2026
I attended this year’s VeTSS Annual Conference 2026, held at the Royal Academy of Engineering in London in May with a dual purpose, as beside my interest in VeTSS, [...]
Student’s experience at VeTSS Summer School 2025
University of Glasgow, 11th to 14th August 2025 Last week, I had an incredible time at the Institute on Verified Trustworthy Software Systems (VeTSS) Summer School at the University [...]
VeTSS Annual Conference 2025 highlights
Insights from a VeTSS Doctoral Dissertation Award Winner This June, VeTSS hosted its annual event at the Royal Academy of Engineering in London. As always, this event was well [...]
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 the Midlands Graduate School in [...]
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 was a big success! With [...]
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 the Department of Computer Science at [...]
by