BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//VeTSS - ECPv6.15.11//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
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:20220101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=UTC:20250606T090000
DTEND;TZID=UTC:20250606T170000
DTSTAMP:20260517T032119
CREATED:20250324T150626Z
LAST-MODIFIED:20250514T124424Z
UID:3002-1749200400-1749229200@vetss.org.uk
SUMMARY:VeTSS Annual Conference 2025
DESCRIPTION:This year’s event will be held at the Royal Academy of Engineering\, Prince Philip House\, London on Friday\, 6th of June. You can find the address and full directions to the venue on this link. \nRegistration to the event is now open.
URL:https://vetss.org.uk/event/vetss-annual-meeting-2025/
LOCATION:RAE Prince Phiilip House\, 3 Carlton House Terrace\, London\, SW1Y 5DG\, United Kingdom
CATEGORIES:Annual Meetings
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=UTC:20240521T083000
DTEND;TZID=UTC:20240521T170000
DTSTAMP:20260517T032119
CREATED:20240604T121004Z
LAST-MODIFIED:20240729T130723Z
UID:1863-1716280200-1716310800@vetss.org.uk
SUMMARY:Annual Meeting 2024
DESCRIPTION: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 directions to the venue on this link. \nRegistration to the event is now closed as the meeting is at capacity. \nThe meeting with start at 9:00. Registration\, with tea and coffee\, is from 8:30. On arrival\, please make your way up to the ERA Foundation room on the first floor. You will be able to collect  your badge there. \nWe want to make every VeTSS event a respectful and friendly environment for all\, and we ask that everyone attending the Annual meeting adheres to the VeTSS code of conduct. \nProgram\n\n\n\n8:30 – 9:00\nRegistration\, with Tea and Coffee\n\n\nSession 1: Keynote Talk\n\n\n9:00 – 9:15\nWelcome\n\n\n9:15 – 10:15\nKeynote: Holistic security from code to cloud\, Peter O’Hearn (Lacework and UCL)\n\n\n10:15 – 10:45\nMorning break\n\n\nSession 2 \n\n\n10:45 – 11:15\nTalk: Bit-Precise Neural Network Verification\, Edoardo Manino (University of Manchester)\n\n\n11:15 – 11:45\nTalk: Object Capabilities as Guards – Specification\, Verification\, and open calls\, Sophia Drossopolou (Imperial College London)\n\n\n11:45 – 12:15\nTalk: Contactless Payments made Private via Bisimilarity\, Ross Horne (University of Strathclyde\, Glasgow\, Scotland)\n\n\n12:15 – 13:45\nLunch\n\n\nSession 3: Industry Perspectives\n\n\n13:45 – 14:15\nTalk: Writing formal specifications at ARM\, Jade Alglave (Arm)\n\n\n14:15 – 14:35\nTalk: RISC-V Processor Verification: Challenges And Opportunities For Formal\, Ashish Darbari (Axiomise)\n\n\n14:35 – 14:55\nTalk: Verification and Legal Consequences\, Peter Davies (Thales)\n\n\n15:00 – 15:30\nAfternoon break\n\n\nSession 4\n\n\n\n15:30 – 16:30 \nProject talks \n\n\n\n\n\nSACRED-MA: Safe And seCure REmote Direct Memory Access\, Guillaume Ambal\, (Imperial College London) and Gregory Chockler\, (University of Surrey)\n\n\nTRUSTED: SecuriTy SummaRies for SecUre SofTwarE Development\,  Narges Khakpour (Newcastle University)\n\n\nM4Secure: Faster and Secure Memory Management\,  Zheng Wang (University of Leeds)\n\n\n\n\n\n\n16:30 – 16:50\nTalk: Using program synthesis to make your code run faster\, Elizabeth Polgreen (University of Edinburgh)\n\n\n16:50 – 17:10\nTalk: Secure Smart Contracts with Isabelle/Solidity\, Diego Marmsoler\, (University of Exeter)\n\n\n17:10 – 17:15\nMeeting ends
URL:https://vetss.org.uk/event/annual-meeting-2024/
CATEGORIES:Annual Meetings
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20230331
DTEND;VALUE=DATE:20230401
DTSTAMP:20260517T032119
CREATED:20240604T120611Z
LAST-MODIFIED:20240604T120647Z
UID:1856-1680220800-1680307199@vetss.org.uk
SUMMARY:Annual meeting 2023
DESCRIPTION: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 research\, such as AI\, Quantum Computing\, Security and Machine learning\, discuss state-of-the-art research and its open challenges and seek cross-pollination opportunities with VeTSS themes. \nTALKS (recording and abstracts)\n‘VeTSS: From Old to New’\,  Philippa Gardner\, Imperial College London \n‘On Operational Cyber Resilience’  Kerstin Eder\, University of Bristol \n‘Automatic verification of transparency protocols’\, Mark Ryan\, University of Birmingham with Vincent Cheval and José Moreira. ABSTRACT \n‘Security and Legacy at Microsoft’ Matthew Parkinson\, Microsoft Research. ABSTRACT \n‘Benchmarking and verifying quantum computers’\, Petros Wallden\, The University of Edinburgh. ABSTRACT \n‘Formal Verification and Bug Finding at Meta’\, Jules Villard\, Meta. ABSTRACT \n‘The Research Institute for Trustworthy Interconnected Cyber-physical Systems’\, Chris Hankin\, Imperial College London. ABSTRACT   \n‘Design and Verification of Time-Critical Byzantine Fault-Tolerant Systems’\, Vincent Rahli\, University of Birmingham. ABSTRACT \n‘CsmithEdge: More Effective Compiler Testing by Handling Undefined Behaviour Less Conservatively’\, Karine Even-Mendoza\, King’s College London. ABSTRACT \n‘Rust on Morello’\, Simon Cooksey\, University of Kent. ABSTRACT
URL:https://vetss.org.uk/event/annual-meeting-2023/
CATEGORIES:Annual Meetings
END:VEVENT
END:VCALENDAR