Universiteit van Amsterdam


Institute for Logic, Language and Computation

29 April 2017, 2nd International Workshop on Causal Reasoning for Embedded and Safety-critical Systems Technologies (CREST 2017), Uppsala, Sweden

Date: Saturday 29 April 2017
Location: Uppsala, Sweden
Deadline: Friday 27 January 2017

Today's IT systems, and the interactions between them, become increasingly complex. Power grid blackouts, airplane crashes, failures of medical devices and malfunctioning automotive systems are just a few examples of incidents that affect system safety. Determining the root cause(s) of a system-level failure and elucidating the exact scenario that led to the failure is today a complex and tedious task that requires significant expertise. Formal approaches for automated causality analysis, fault localization, explanation of events, accountability and blaming have been proposed independently by several communities - in particular, AI, concurrency, model-based diagnosis, software engineering, security engineering and formal methods. Work on these topics has significantly gained speed during the last years. The goals of this workshop are to bring together and foster exchange between researchers from the different communities, and to present and discuss recent advances and new ideas in the field.

CREST 2017 is a satellite event of ETAPS 2017.

All contributed papers will be reviewed by at least 3 PC members. Revised versions of selected papers will be published as formal post-workshop proceedings in the Electronic Proceedings in Theoretical Computer Science (EPTCS). At least one of the authors of an accepted paper needs to register for the workshop and present the paper in order for it to be included in the post-workshop proceedings.

For more information, see http://se.uni-konstanz.de/crest2017 or contact .