CyPhyAssure Spring School

This event has now finished.
  • Date and time: Tuesday 19 March 2019, 9am to Thursday 21 March 2019, 5pm
  • Location: University of York
  • Audience: Open to Early stage researchers
  • Booking: Booking required

Event details

“How can we use integrated formal methods to the maximum advantage for computer-assisted assurance of autonomous robots?”

AAIP is supporting this first spring school on computer-assisted assurance, targeted at early stage researchers:

  • hear from world-leading academics speaking on assurance, robotics, and formal methods
  • build your knowledge of a variety of computer-assisted assurance techniques
  • develop new collaborations with industry and other academic institutions