Crest 2017

CREST 2017

2nd international Workshop on Causal Reasoning for Embedded and Safety-critical Systems Technologies

April 29, 2017, Uppsala, Sweden

CREST: 2nd International Workshop on Causal Reasoning for Embedded and Safety-critical Systems Technologies

Objectives

The CREST 2017 workshop is the second in a series of workshops addressing approaches to causal reasoning in the engineering of complex embedded and safety-critical systems. The main objective is to bring together researchers and practitioners from industry and academia in order to enable discussions how explicit and implicit causality reasoning is performed in the design of these systems. A further objective is to link to the foundations of causal reasoning in the philosophy of sciences and to causal reasoning performed in other areas of computer science, engineering and beyond.

Registration

Registration for the CREST 2017 workshop is possible via the ETAPS registration page.

Date and Location

CREST 2017 will be held on April 29, 2017 as a satellite event of ETAPS 2017 in Uppsala, Sweden.

The organizers can be reached via email address crest2017 "at" easychair.org.