

BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//VeTSS - ECPv6.15.11//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:VeTSS
X-ORIGINAL-URL:https://vetss.org.uk
X-WR-CALDESC:Events for VeTSS
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:UTC
BEGIN:STANDARD
TZOFFSETFROM:+0000
TZOFFSETTO:+0000
TZNAME:UTC
DTSTART:20250101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=UTC:20260512T083000
DTEND;TZID=UTC:20260512T170000
DTSTAMP:20260409T211421
CREATED:20260209T095223Z
LAST-MODIFIED:20260406T093426Z
UID:3929-1778574600-1778605200@vetss.org.uk
SUMMARY:VeTSS Annual Conference 2026
DESCRIPTION:The VeTSS Annual Conference is a one-day event featuring a programme of invited and contributed long and short talks. The conference aims to foster engagement with research areas closely aligned with VeTSS\, including artificial intelligence\, quantum computing\, security\, and machine learning. It provides a forum to present state-of-the-art research\, discuss open challenges\, and identify opportunities for cross-disciplinary collaboration within VeTSS-related themes. \nThis year’s event will be on Tuesday\, 12th of May\, at the Royal Academy of Engineering. Confirmed speakers include: \n\nKeynote by Kathleen Fisher (CEO\, ARIA)\nDominic Mulligan (AWS)\nDon Syme (Microsoft / Github)\nDavid Chisnall (CHERI)\nStephen Dolan (Jane Street)\nPetros Wallden (University of Edinburgh)\nHana Chockler (King’s College London)\nTom Chothia (University of Birmingham)\n\nThis year’s event will also announce the VeTSS Doctoral Dissertation Awards\, recognising outstanding PhD research conducted in the UK. In addition\, the recipients of the VeTSS Research Award 2025 will share highlights from their innovative and exciting research. \nRegistration is free but numbers are limited. To register your interest to attend\, please complete this short form. We will then contact you as soon as we are able to confirm your place at the event.
URL:https://vetss.org.uk/event/vetss-annual-conference-2026/
LOCATION:RAE Prince Phiilip House\, 3 Carlton House Terrace\, London\, SW1Y 5DG\, United Kingdom
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=UTC:20260803T140000
DTEND;TZID=UTC:20260806T123000
DTSTAMP:20260409T211421
CREATED:20260209T112007Z
LAST-MODIFIED:20260325T140246Z
UID:3937-1785765600-1786019400@vetss.org.uk
SUMMARY:VeTSS Summer School 2026
DESCRIPTION:VeTSS Summer School 2026 is a graduate school focused on program analysis\, testing and verification. This year’s school will take place at the Henderson Lecture Theatre\, Xfi Building\, located on the Streatham Campus\, University of Exeter\, 3-6 August 2026. \nThe school is open to PhD students and early career researchers working on program analysis\, testing and verification. but participation is by invitation only. Women and anyone currently underrepresented in the field of Computer Science are especially welcome to apply. \nFurther information regarding registration and the programme will be announced shortly.
URL:https://vetss.org.uk/event/vetss-summer-school-2026/
LOCATION:Xfi Building\, University of Exeter\, Streatham Campus\, Exeter\, EX4 4QJ\, United Kingdom
CATEGORIES:Summer School
END:VEVENT
END:VCALENDAR