This programme is archived from our 2016 event.
Registration
Keynote Address: Reasoning with Big Code
Dr. Dino Distefano
Software Engineer at Facebook and Professor of Software Verification at Queen Mary, University of London

Security
Autonomy
Foundations for Resilient App Stores
David Aspinall
Professor of Software Safety and Security, University of Edinburgh
Ada 202x: A broad overview of relevant news
Florian Schanda
SPARK Technical Authority, Altran UK
Coffee & Exhibition
Lunch & Exhibition
Keynote Address: An Alternative Approach to DO-178
Duncan Brown
Rolls-Royce Engineering Fellow – Safety Critical Software

Standards
Techniques & Tools
Multi-Core (MC) Processor Qualification for Safety Critical Systems
Dr Mark Hadley
Senior Scientist - Software Systems, DSTL
Mike Standish
Senior Engineer - Systems, DSTL
Bounded Model Checking for C programs in an enterprise environment
Michael Tautschnig
Research Scientist at Amazon Web Services and Lecturer in Theoretical Computer Science at Queen Mary, University of London
An overview of the FACE standard, and what that implies outside the USA
Alex Wilson
Director of Business Development, Aerospace and Defence at Wind River
Virtual Verification and Validation Process of Embedded In-Vehicle Software
Will Suart
Group Leader for Software Verification and Validation, Jaguar Land Rover
Tea & Exhibition
PANEL SESSION: Streamlining software assurance
In a world where innovation is moving forward so quickly, how will we continue to meet the challenge of assuring trustworthy systems in a cost- and time-effective manner? Can we both guarantee intent and create a more lightweight V&V process for critical applications? Our keynote speakers have touched on this subject from different perspectives: integrating verification into a high-velocity process and goal-based assurance against a small set of overarching principles. The panel will consider whether initiatives such as those at Facebook and EUROCAE hold lessons for the wider software industry – and whether there are other ways to achieve a more streamlined process; automation offers tempting efficiency improvements but introduces tensions by removing elements of human oversight from the loop. Comments, challenges and responses will be taken from the audience.
Panel Chair: Prof. Tim Kelly, University of York
Networking / Cocktail Hour & Exhibition
The day will conclude with a drinks reception, providing an opportunity to network with colleagues and a further opportunity to visit the exhibition stands.
Programme subject to change.