BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Research Institute in Automated Program Analysis and Verification - ECPv6.15.11//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://verificationinstitute.org
X-WR-CALDESC:Events for Research Institute in Automated Program Analysis and Verification
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:20130101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;VALUE=DATE:20141010
DTEND;VALUE=DATE:20141011
DTSTAMP:20260407T141957
CREATED:20140506T085001Z
LAST-MODIFIED:20151214T100249Z
UID:413-1412899200-1412985599@verificationinstitute.org
SUMMARY:UK Cyber Security Research Conference 2014
DESCRIPTION:The two cyber security Research Institutes organised their first joint annual highlights conference\, at the Department for Business\, Innovation & Skills (BIS) on 10th October 2014. The purpose of the conference was to present this leading edge initiative and its outcomes to decision-makers from academia\, government and industry. \nThe Research Institute in Science of Cyber Security (RISCS) focuses on understanding the overall security of organisations\, including their constituent technology\, people and processes. The Research Institute in Automated Program Analysis and Verification seeks guarantees of correctness\, safety and security in computer software. The institutes are sponsored from the National Cyber Security Programme. \nBoth Research Institutes bring together leading researchers in their respective fields\, and feature vibrant collaborations between researchers and practitioners. The research goals are driven by real-world problems\, and the outcomes are designed to improve cyber security in industry\, government\, and society. This conference showcased both research highlights and areas for potential impact. \nThe presentation slides can be seen here: \nKeynotes \nTrustworthy Software Systems – Professor Greg Morrisett\, Harvard University \nHigh-Assurance Cyber Military Systems – Professor Kathleen Fisher\, Tufts University and DARPA \nLightning Talks \nDetecting vulnerabilities in highly concurrent software – Dr Alastair Donaldson\, Imperial College London \nSystems security and verification – Dr Robert Watson\, University of Cambridge \nVerification at Microsoft – Dr Nick Benton\, Microsoft Research
URL:https://verificationinstitute.org/event/joint-annual-research-conference/
LOCATION:BIS Conference Centre\, 1 Victoria Street\, London\, SW1H 0ET\, United Kingdom
END:VEVENT
END:VCALENDAR