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 more details, including a programme.
CyPhyAssure Spring School
In March 2019, the University of York hosted the first CyPhyAssure Spring School 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 RoboStar seminars series started:
- On 30 January 2019, Dr Pedro Ribeiro gave a talk on Reasoning in tock-CSP with FDR
- On 23 January 2019, Dr Alvaro Miyazawa 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 ESC’s key consultants Ron Bell (OBE, Executive Director) and Dr Fan Ye (Principal Consultant) presented a one-day course on IEC 61508 to the RoboTest team members.
RoboTest Advisory Board Meeting
On 13 April 2018, the RoboCalc team attended the Advisory Board meeting of RoboTest at Brunel University London.