Summer School 2025
11 – 14 August 2025, University of Glasgow
Welcome to the 2025 VeTSS Summer School, a graduate school focused on program analysis, testing and verification.
This year’s school will take place at the Advance Research Centre, University of Glasgow, 11-14 August 2025.
Registration
The school is open to PhD students and early career researchers working on program analysis, testing and verification. but participation is by invitation only. Registration is now open. Women and anyone currently underrepresented in the field of Computer Science are especially welcome to apply.
The number of students attending the Summer School is limited, so early applications are very much encouraged. All applications will be reviewed by the Summer School committee and we aim to notify you of the outcome as soon as we can.
If you have been accepted to this year’s Summer School, please remember that you need to confirm attendance and accommodation requirements by Friday 11th July.
We are committed to make the school as accessible as possible and to that end we do not charge a registration fee. If you are accepted to take part in the School, we will offer you free accommodation at student halls and lunches and refreshments during the day.
Regrettably, travel to and from the Summer School and evening meals are not included. You or your supervisor will have to cover the cost of travel to and from Glasgow and the evening meals. If travel costs will prevent you from applying to the Summer School, please let us know, as a very small number of travel grants funding may be available.
Programme
The Summer School will start in the afternoon of Monday 11th and will end by lunchtime on Thursday 14th August 2025. Over four days, you will have the opportunity to attend talks and workshops led by experts in the field, meet with established researchers and other PhD students and learn new skills in a safe and welcoming space.
For information about the talks, please see the programme page.
The detailed schedule will be updated periodically, but you can find talk recordings and links to materials in the pages for previous editions. Typically, each day is divided in two or three sessions, with lectures and tutorials on theoretical and practical topics, including the use of interactive and automated verifications tools. These are then followed by optional social activities in the evenings.
Any Questions?
If you have any questions, or want to check anything, just contact us at contact@vetss.org.uk
by