One of VeTSS’s aims is to support and bring together the verification and testing community in the UK, and to that end, we organise a series of annual events, including:
The VeTSS Annual Meeting, a one-day meeting with long and short talks, aiming to connect the VeTSS community with VeTSS adjacent research, such as AI, Quantum Computing, Security and Machine learning. The audience are academic, industry and government researchers, with an interest in safety, security, correctness, program analysis, testing, and verification.
The VeTSS Summer School is a graduate school a focus on the theory and practice of verification, open to second and third-year PhD students and early career researchers.
The VeTSS industry innovation sandpit, a one-day event with lightning talks by both academic and industry participants, followed by seedbed meetings, comprising small-group, in-depth discussions and prototyping. Each seedbed will develop a new research idea, prototype it on the day and present it to all participants at the end of the day. The sandpit will be scheduled to coincide with the next VeTSS Call for Research Projects.
You can find a calendar of all upcoming VeTSS and community events here. (contact us if you want us to advertise your event.)
Sponsorship of events: We are sometimes able to provide limited support for community events. 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.
Over the years, we have provided sponsorship for the Women in Logic workshop (WiL), the Kent Concurrency Workshop and S-REPLS, The Federated Logic Conference, and the Workshop on Formal Methods and Tools for Security (FMATS). Contact us at contact@vetss.org.uk with details of your event and we will get back to you.
This two-day workshop is aimed at bringing together researchers, from the UK and elsewhere, who are working on the theory of concurrency and the [...]
This was the first event on the VeTSS Seminar Series, one-day meetings with talks and panel discussions. The aim is to connect with VeTSS adjacent [...]
S-REPLS is a regular meeting, based in the south of England, for anyone with an interest in the semantics and implementation of programming languages. [...]
This year’s event will be held at the Royal Academy of Engineering, London on Tuesday, 21st of May. You can find the address and full [...]
The Workshop on Formal Methods and Tools for Security (FMATS), inspired by the grand challenge of software verification, was established in 2011 by Professor [...]
We are very happy to be on of the sponsors of this year's Kent Concurrency Workshop and S-REPLS 15, taking place at the University of [...]
This Open for Business event is part of an INI programme on Big Specification. It aims to provide a meeting ground to facilitate interactions and exchanges between representatives of academia, [...]
by