On the 9th of June 2023, Matt Windsor will be delivering an invited talk on “RoboCert: A Formal Specification Notation for Robotic Software” at the University of Cambridge as part of the Logic and Semantics Seminars of the Computer Laboratory.
Department of Computer Science
Deramore Lane, University of York, Heslington, York, YO10 5GH, UK
Tel: 01904 325500
University of York legal statements
