[SystemSafety] CfPart: Spring School on Computer-Assisted Assurance

[Mario Gleirscher]

Dear all,

We are organising a spring school on computer-aided assurance at the
University of York in the UK from 19th-22nd of March 2019, which is
targeted early-stage researchers.

We would like to invite industrial practitioners to attend and talk
about the challenges they are facing in autonomy assurance. This will
provide the opportunity to engage with cutting edge research, influence
future research directions, and meet with talented young researchers,
who might be potential candidates for industry.

We have arranged a variety of world-leading academics and industrial
researchers to deliver lectures on formal methods, assurance, and
autonomous robotics. The school will feature lectures, breakout
sessions, panel discussions, and industry talks, which together will
inform the participants, facilitate discussion of the big research
questions, and enable new collaborations.

For more information, and to register, please visit our website
at https://www.cs.york.ac.uk/circus/CyPhyAssure/school/. If you would
like to attend, please register before *15th of February 2019*. Please,
forward this email to other parties you think may be interested.

Best regards,
Mario Gleirscher and Simon Foster

-- 
Dr. Mario Gleirscher
Visiting Researcher . +44 (0)1904 325442 . CSE/013-6
High Integrity Systems Engineering . http://gleirscher.de
Department of Computer Science . University of York
Deramore Lane, Heslington, York YO10 5GH, United Kingdom