Today's I T systems, and the interactions between them, beco me increasingly complex. Power grid blackouts, air plane crashes, failures of medical devices and mal functioning automotive systems are just a few exam ples of incidents that affect system safety. They are often due to component failures and unexpected interactions of subsystems under conditions that have not been anticipated during system design and testing. Determining the root cause(s) of a syste m-level failure and elucidating the exact scenario that led to the failure is today a complex and te dious task that requires significant expertise. Fo rmal approaches for automated causality analysis, fault localization, explanation of events, account ability and blaming have been proposed independent ly by several communities - in particular, AI, con currency, model-based diagnosis, software engineer ing, security engineering and formal methods. Work on these topics has significantly gained speed du ring the last years.
\n\nThe goals of this workshop are to bring together and foster exchang e between researchers from the different communiti es, and to present and discuss recent advances and new ideas in the field.
\nSu bmissions should be prepared in EPTCS style with a length of up to 15 pages. All contributions must be submitted via the EasyChair submission web site for CREST 2020. All contributed papers will be re viewed by at least 3 PC members. Revised versions of selected papers will be published as formal pos t-workshop proceedings in the Electronic Proceedin gs in Theoretical Computer Science. At least one o f the authors of an accepted paper needs to regist er for the workshop and present the paper in order for it to be included in the post-workshop procee dings.
\n