Edinburgh centre for robotics & the alan turing institute symposium