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:20230101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=UTC:20240604T080000
DTEND;TZID=UTC:20240604T170000
DTSTAMP:20260419T183939
CREATED:20240604T101728Z
LAST-MODIFIED:20240710T100849Z
UID:1842-1717488000-1717520400@vetss.org.uk
SUMMARY:Workshop on Formal Methods and Tools for Security (FMATS)
DESCRIPTION:The Workshop on Formal Methods and Tools for Security (FMATS)\, inspired by the grand challenge of software verification\, was established in 2011 by Professor Mike Gordon of the University of Cambridge\, with the aim of bringing together academia\, industry and government employees interested in an effort to properly understand and address the challenges in applying formal methods to security. Since then\, several FMATS workshops have been held\, supported by VeTSS\, Microsoft Research Cambridge and the Royal Society. Please follow the links below for the previous editions of FMATS. \nFMATS7 (2019) (replaced by the `Verified Software’ workshop) \nFMATS6 (2018) \nFMATS5 (2017) \nFMATS4 (2015) \nFMATS3 (2014) \nFMATS2 (2013) \nFMATS1 (2011)
URL:https://vetss.org.uk/event/workshop-on-formal-methods-and-tools-for-security-fmats/
CATEGORIES:Other Events
END:VEVENT
END:VCALENDAR