Events blog
2019
RoboSoft: Software Engineering for Robotics
London, 13-14 November 2019
RoboSoft was a two-day event to bring together researchers representing groups working on themes relevant for Software Engineering for Robotics, developers working on the next generation of robotic systems in various areas of application, and regulation authorities interested in the safety of robotic systems.
It provided a platform to establish Software Engineering for Robotics as an important discipline in Computer Science and Electronic Engineering. The objective was to establish a common understanding of the challenges that need to be faced to ensure that results are relevant to industrial practice and regulation.
The University of York website has , including a programme.
CyPhyAssure Spring School
In March 2019, the University of York hosted the first on computer-assisted assurance, with lectures on autonomy, robotics, verification, testing, formal methods, and the future of assurance.
RoboStar Seminars at the University of York
In January 2019 the started:
- On 30 January 2019, gave a talk on Reasoning in tock-CSP with FDR
- On 23 January 2019, gave a talk on RoboChart & RoboSim: modelling robots and collections (PDF, 3.7MB)
2018
IEC 61508 ESC Course at the University of York
On 14 August 2018 ’s key consultants (OBE, Executive Director) and (Principal Consultant) presented a to the RoboTest team members.
RoboTest Advisory Board Meeting
On 13 April 2018, the team attended the Advisory Board meeting of RoboTest at Brunel University London.