The VeTSS Summer School 2025 was hosted by the Department of Computer Science at the University of Glasgow from August 11th to 14th. 

This year’s programme featured a diverse range of lectures, tutorials, and practical sessions, covering both the theoretical foundations of verification and its real-world applications. Alongside the technical learning, participants enjoyed lively discussions, collaborative exercises, and the chance to build lasting networks with peers across academia, industry, and government.

We are delighted to congratulate all participants on completing this year’s Summer School. Over the past 4 days, students, researchers, and practitioners from across the UK and beyond came together to explore the cutting edge of formal verification, program synthesis, and functional programming. We are especially proud of the enthusiasm and dedication shown by this year’s attendees. Completing an intensive week of deep technical study is no small achievement, and we hope participants leave inspired to continue developing and applying the skills they’ve gained.

Finally, a huge thank you to the local organisers and speakers who made this year’s Summer School such a success. Your hard work ensures that VeTSS continues to play a central role in building the next generation of experts in verification and security.

We hope that you found the Summer School a productive and enjoyable one. We will publish recordings of some of the talks and slides on the VeTSS video archive page soon, but you are all very welcome to join the VeTSS LinkedIn and Zulip channel, where we post our news and details of upcoming events and calls. We look forward to seeing some of you again at the upcoming VeTSS events.