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:20150101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;VALUE=DATE:20160404
DTEND;VALUE=DATE:20160408
DTSTAMP:20260407T212114
CREATED:20151007T160004Z
LAST-MODIFIED:20160516T124540Z
UID:661-1459728000-1460073599@verificationinstitute.org
SUMMARY:Verified Trustworthy Software Systems
DESCRIPTION:Synopsis\n\nSoftware faults cause widespread problems in society. Symbolic verification provides promising solutions to these problems. The field is coming of age: verification techniques scale; tools are tractable; and real-world programs can be verified. These meetings bring together academics\, industrial experts and government scientists to identify key challenges in establishing verification at the heart of the software design process.\n\nRecorded audio and video of the meetings is available here\n\nRoyal Society Scientific Meeting\n\nThe meeting was held at The Royal Society\, London\, 4th-5th April 2016. \nOver two hundred participants took part in the discussions\, comprising verification experts\, systems and security experts interested in verification\, industrialists using verification\, and government scientists. The very engaged audience addressed the current state of the field and the opportunities that verification offers to tackle challenges in cyber security and the certification of software.\n\n\nRoyal Society Scientific Meeting Timetable\n\n\nA number of presentations from the meeting will be published in a forthcoming issue of the Philosophical Transactions of the Royal Society. For details see the Scientific meeting webpage.\n\n\nSpecialist Meeting at Imperial College\nThe meeting was hosted by the Department of Computing\, Imperial College London\, 6th-7th April 2016. \nA very engaged group of renowned experts as well as promising young researchers from the fields of verification\, systems\, and security got together to discuss current work in verification and trustworthy systems.\n\n\n\nSpecialist Meeting Imperial College Timetable \nSpecialist Meeting Imperial College abstracts \n\n\nFor any queries re the Specialist Meeting\, please e-mail Teresa Carbajo Garcia.\n\n\nAccommodation and restaurant suggestions\nClick here for accommodation and restaurant recommendations both for the Royal Society and Specialist Meetings.\n\n\nVerification is used for finding bugs in industrial software. © Mircea Maties/Shutterstock.com \nVerification is important for safety-critical systems\, such as drones and driverless cars. © Nicolas Halftermeyer \n\n\n\n\nOrganisers\n\nThe meetings are organised by \n\n\n\n\n\n\n\n\n\n\nProfessor Philippa Gardner\, Imperial College\, London\, UK\nProfessor Mike Gordon FRS\, University of Cambridge\, UK\nProfessor Greg Morrisett\, Cornell University\, USA\nProfessor Fred Schneider\, Cornell University\, USA\nProfessor Peter O’Hearn\, Facebook and University College London\, UK
URL:https://verificationinstitute.org/event/verified-trustworthy-software-systems-specialist-meeting/
LOCATION:Imperial College London
END:VEVENT
END:VCALENDAR