Join us in March 2019 to attend the first CyPhyAssure Spring School on computer-assisted assurance, targetted at early stage researchers.
“How can we use integrated formal methods to the maximum advantage for computer-assisted assurance of autonomous robots?”
Robots and autonomous systems (RAS) are no longer isolated from humans by walls and safety cages. They increasingly inhabit the spaces in which we live and work. Consequently, they must be engineered so that they are able to perform their jobs without impacting the safety of the humans around them. There is a need to assure us that these systems have been developed using rigorous techniques that ensure safe and predictable behaviour. As the Assuring Autonomy International Programme at York makes clear, this is a major challenge with many critical barriers that must be overcome.
We believe that formal methods have a great deal to offer in supporting assurance activities through the use of model-based development and verification tools. Such tools offer both a high degree of automation, and also mathematically principled results that can be used to substantiate safety claims. Nevertheless, in order for formal methods research to be exploited in RAS assurance, it is important to appreciate the greater context of safety certification, the specific challenges of RAS, and also the problems industry is facing.
Our primary audience is early stage researchers who have a focus on computer-assisted assurance for autonomous robots. Academics and industrial practitioners who are interested in this area are also welcome.
Teaching will be conducted by both mandatory lectures and also optional “breakout” sessions that will occur at intervals during the school. The breakouts will allow more in-depth and hands-on learning for topics of interest which can be selected by the participants. Industrial practioners are also invited to give short 10-15 talks on the assurance challenge they are facing, and to pose research questions. Early stage researchers will also have the opportunity to deliver short talks on their work and interests to the audience. Finally, we will also have question and answer panel sessions to faciliate discussion.
In concert with the school, we are also planning an optional one-day tutorial on Friday 22nd of March, focusing on the use of the Isabelle/UTP verification framework. This tool is being further developed at York as part of the CyPhyAssure project, and can be used for both formation of heterogeneous semantic models and their application to verification. More details on this to follow soon.
Places are limited, and preference will be given to early stage researchers applying. Please apply as soon as possible using this form and before 15th February 2019.
Registration is free and includes lunch. We are also able to provide a limited number of small grants (up to £250) to cover expenses for travel and accommodation for any Masters and PhD students wishing to attend. Please select the option on the form if you would like to apply for this. We will be in contact to confirm whether your application is successful.
Please see this page for information on travelling to the school venue.
Department of Computer Science
Deramore Lane, University of York, Heslington, York, YO10 5GH, UK
Tel: 01904 325500 | Fax: 01904 325599