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:20230101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=UTC:20241021T090000
DTEND;TZID=UTC:20241022T170000
DTSTAMP:20260419T135438
CREATED:20240927T121032Z
LAST-MODIFIED:20241021T163444Z
UID:2451-1729501200-1729616400@vetss.org.uk
SUMMARY:Formal Specification and Validation at Scale
DESCRIPTION: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\, research and industry\, relevant to the theme\, with the objective of identifying points of mutual interest and possible co-activity.\n\n\n\n\n\nAims & Objectives \nThe aim of this Open for Business event is to evaluate the role of formal methods in industrial design\, review the current and potential future capabilities of our tools and techniques\, and discuss strategies for advancing their standardisation. The objective is to identify ways to progressively integrate formal methods into industrial processes and to outline possible next steps\, including how government support can facilitate this progression. \nThe planned activities for the event include: \n\nTalks by experts from academia\, industry and government.\nAn afternoon session on “Formal Methods for Secure and Measurable Software Systems”\, supported by the Office of the White House.\nAn afternoon session on “Formal Methods in Cyber Security”\, supported by the National Cyber Security Center (NCSC).\n\nThis hybrid meeting will bring together an audience of invited experts and policymakers from across academia\, industry\, and government\, all driven by a common goal to advance formal methods and strengthen cybersecurity. The event will be recorded\, with an edited version made available on YouTube. \nRegistration and Venue \nThis is an invitation-only event. Registration for this event is open. \nThe workshop will take place at the Isaac Newton Institute for Mathematical Sciences in Cambridge\, United Kingdom. Please visit the Isaac Newton Institute website for further information about the venue. \nTo maximise networking opportunities and interaction with speakers and other participants\, we strongly encourage in-person attendance to this workshop. However\, this event is also hosted as hybrid via Zoom.
URL:https://vetss.org.uk/event/formal-specification-and-validation-at-scale/
LOCATION:Isaac Newton Institute\, 20 Clarkson Road\, Cambridge\, CB3 0EH\, United Kingdom
CATEGORIES:Other Events
END:VEVENT
END:VCALENDAR