Add to Calendar Europe/London DD/MM/YYYY 13/11/2019 09:0014/11/2019 17:00RoboSoft: software engineering for roboticsPrince Philip House, 3 Carlton House Terrace, London SW1Y 5DG

By invitation only

RoboSoft is a two-day event that will bring together researchers working on software engineering for robotics, developers working on the next generation of robotic systems in various areas of application, and regulation authorities interested in safety of robotic systems. RoboSoft provides a platform to establish software engineering for robotics as an important discipline in computer science and electronic engineering. The objective is to establish a common understanding of the challenges that need to be addressed to ensure that results are relevant to industrial practice and regulation.

The global market for robotics and autonomous systems is predicted to grow significantly in the coming years. However, a limiting factor for many applications is safety, where software development poses a key challenge.

The robotics community has recognised importance of software engineering. Model-based engineering has been applied to requirements and architectural modelling and specialised, while simulation has a variety of commercial and academic tools. Several middleware systems provide conceptual insulation for deployment, from low-level programming of particular robotic platforms, and several domain-specific languages are available that focus on programming and simulation. Applications of general-purpose formal techniques have shown they can add value to verification.

Integration, abstraction, specialisation and automation need to be addressed to lower costs and achieve scalability and relevance to industry and regulators. As an outcome of the event, RoboSoft will publish a summary and identify a research agenda.

More information can be found on the University of York website


A detailed programme can be found here and an overview is below. 

Day One  13 November 2019
8.30am Registration opens



Session one

Chaired by Professor Ana Cavalcanti, Professor of Software Verification, University of York

12.30pm Lunch

Session two

Chaired by Jon Timmis, Professor of Intelligent and Adaptive Systems, University of York

5.00pm Close
Day Two 14 November 2019

Session three

Chaired by Professor Jim Woodcock FREng, Professor of Software Engineering, University of York

12.30pm Lunch

Session four

Chaired by Dr Brijesh Dongol, Senior Lecturer, University of Surrey

5.00pm Close


The event is free to attend but registration is required.

If you have any questions, please contact Lucy Webb, Events Coordinator.