Over the years, VeTSS has provided sponsorship for several meetings and events, as part of its goal to support the verification research community. We usually can only offer a small amount of funding, but we are always happy to hear from people organising events in the UK, and will help if we can. Contact us at contact@vetss.org.uk with details of your event and we will get back to you.
Some of the events sponsored by VeTSS are:
- Kent Concurrency Workshop and S-REPLS 15, University of Kent, Canterbury, 18‐19 July, 2024
- FUN IN THE REPL! Bristol Engine Shed, Weds 1st November 2023.
- Surrey Concurrency Workshop and S-REPLS 12. University of Surrey, Guildford, 23‐24 July, 2019.
- The Federated Logic Conference, 2018, Oxford, UK
- The Workshop on Formal Methods and Tools for Security (FMATS). Since 2011, several FMATS workshops have been held, supported by VeTSS, Microsoft Research Cambridge and the Royal Society.