Speaker: Matt Windsor (University of York) Title: “RoboCert: Property Specification in Robotics” Meeting Link: https://bit.ly/robocertprop Date: 20/10/2022 Time: 16:00 (BST)