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. Deter mining the root cause(s) of a system-level failure and elucidating the exact scenario that led to th e failure is today a complex and tedious task that requires significant expertise. Formal approaches for automated causality analysis, fault localizat ion, explanation of events, accountability and bla ming have been proposed independently by several c ommunities - in particular, AI, concurrency, model -based diagnosis, software engineering, security e ngineering and formal methods. Work on these topic s has significantly gained speed during the last y ears. The goals of this workshop are to bring toge ther and foster exchange between researchers from the different communities, and to present and disc uss recent advances and new ideas in the field.
\n\nCREST 2017 is a satellite event of ETAPS 2017.
\nAll contributed pape rs will be reviewed by at least 3 PC members. Revi sed versions of selected papers will be published as formal post-workshop proceedings in the Electro nic Proceedings in Theoretical Computer Science (E PTCS). At least one of the authors of an accepted paper needs to register for the workshop and prese nt the paper in order for it to be included in the post-workshop proceedings.
\n