|Sat 6 - Thu 11 April 2019, Prague, Czech Republic|
CREST 2019 with ETAPS 2019
The CREST 2019 workshop is the fourth in a series of workshops addressing formal approaches to reasoning about causation in systems engineering. The topic of formally identifying the cause(s) of specific events - usually some form of failures -, and explaining why they occurred, are increasingly in the focus of several, disjoint communities. The main objective of CREST is to bring together researchers and practi ...