Meetings – Verifiable Autonomy http://wordpress.csc.liv.ac.uk/va An EPSRC-funded collaboration between the universities of Liverpool, Sheffield and the West of England Mon, 25 Feb 2019 11:38:09 +0000 en-US hourly 1 https://wordpress.org/?v=5.1.5 Verifiable Autonomy: First All Hands Meeting http://wordpress.csc.liv.ac.uk/va/2014/12/05/verifiable-autonomy-first-all-hands-meeting/ Fri, 05 Dec 2014 15:18:20 +0000 http://wordpress.csc.liv.ac.uk/va/?p=47 2014-12-05 14.09.55

The first meeting of the Verifiable Autonomy project took place today at Sheffield’s department for Automatic Control and Systems Engineering. Discussions ranged over many topics such as Open Science, Ethical Robotics, Autonomous Control of Vehicle Convoys and Abstracting Sensor Data for Reasoning.

We agreed to host a number of workshops including, hopefully a workshop on Agent Verification in September 2015 in association with the TAROS (Towards Autonomous Robotic Systems) conference in Liverpool. In future we hope to host workshops on Ethical and Legal Aspects of Autonomous Systems, and Verifiable Learning.

We are all very excited about our plans for the future of this project.

]]>