Proceedings of the workshop on Algorithmic foundations of robotics