University of Bristol, 13-15 August 2024

Welcome to the 2024 VeTSS Summer School, a graduate school focused on program analysis, testing and verification.

This year’s school will take place at the University of Bristol from Tuesday 13th  to Thursday 15th August 2024.

ATTENDING

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 closed, if you have applied to attend, but have not yet received an email from us, please contact us immediately at contact@vetss.org.uk

If you have been accepted to this year’s Summer School, please remember that you need to confirm attendance, accommodation requirements and that you agree to adhere to our code of conduct by Monday 22nd July.

PROGRAMME

Over three full 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.

Please see the programme page for details of the talks.

FEES

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 Summer school, we will offer you free accommodation 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 Bristol and the evening meals.

ANY QUESTIONS?

We look forward to seeing you at the Summer School, but in the meantime if you have any questions, or want to check anything, just contact us at contact@vetss.org.uk