CPAR Control Theory and Automation Symposium [Conference Reports]