BEGIN:VCALENDAR VERSION:2.0 PRODID:-//Research Institute in Automated Program Analysis and Verification - ECPv5.16.1.1//NONSGML v1.0//EN CALSCALE:GREGORIAN METHOD:PUBLISH X-WR-CALNAME:Research Institute in Automated Program Analysis and Verification X-ORIGINAL-URL:https://verificationinstitute.org X-WR-CALDESC:Events for Research Institute in Automated Program Analysis and Verification BEGIN:VTIMEZONE TZID:UTC BEGIN:STANDARD TZOFFSETFROM:+0000 TZOFFSETTO:+0000 TZNAME:UTC DTSTART:20160101T000000 END:STANDARD END:VTIMEZONE BEGIN:VEVENT DTSTART;VALUE=DATE:20160404 DTEND;VALUE=DATE:20160408 DTSTAMP:20240329T081357 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