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 we 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 recent events sponsored by VeTSS are:
- The Women in Logic workshop (WiL) 2024
- 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.