Department of Computer Science

School on Verification of Mobile and Autonomous Robots and Workshop

Call for Participation

York, 1-4 December, 2015

We invite applications from researchers to attend a series of short courses ministered by some of the leaders on verification of mobile and autonomous robots in the UK. Partial funding is available to support participation of research students. The event is funded by the EPSRC via the University of York and via EPSRC's Network on the Verification and Validation of Autonomous Systems.


  • Towards Verification of Domestic Autonomous Robot Assistants
    Clare Dixon, University of Liverpool

  • Practical Techniques for Verification and Validation of Robots
    Kerstin Eder (also), University of Bristol

  • Verifiable Autonomy - how can you trust your robots?
    Michael Fisher, University of Liverpool

  • From robot swarms to ethical robots: the challenges of verification and validation
    Alan Winfield, Bristol Robotics Lab, University of the West of England, Bristol

  • Why is verification and validation so crucial for the success of advanced robotics?
    Anthony Pipe, University of West England

  • Selected Topics in Robotic Verification
    Sandor Veres, University of Sheffield

We will also have a panel that will discuss the state of the art and the open problems in the area. More information about the courses, the lecturers and local arrangements can be found at


To apply, please, send a message to stating

  • your name,
  • affiliation, and
  • position

by 31 October, 2015.

Funding for PhD students

The EPSRC Network on the Verification and Validation of Autonomous Systems will provide limited travel and subsistence support for PhD student participation in this Winter School. The procedure to apply for PhD student travel and subsistence funding of up to £300 is available here.

Department of Computer Science
Deramore Lane, University of York, Heslington, York, YO10 5GH, UK
Tel: 01904 325500 | Fax: 01904 325599