In March 2019 the University of York hosted the first CyPhyAssure Spring School on computer-assisted assurance, organised by Simon Foster and Mario Gleirscher. Invited lectures covered topics such as autonomy, robotics, verification, testing, formal methods, and the future of assurance.
Department of Computer Science
Deramore Lane, University of York, Heslington, York, YO10 5GH, UK
Tel: 01904 325500
University of York legal statements
