Proceedings 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology

TL;DR

This workshop proceedings discusses formal methods for reasoning about causation, responsibility, and explanations in science and technology, aiming to unify diverse approaches and connect philosophical foundations with practical applications.

Contribution

It consolidates recent research on formal causal reasoning in systems engineering and fosters interdisciplinary dialogue between academia and industry.

Findings

Enhanced understanding of formal causation methods

Bridging philosophical and computational causal reasoning

Promoting interdisciplinary collaboration

Abstract

The CREST 2018 workshop is the third 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 practitioners from industry and academia in order to enable discussions how explicit and implicit reasoning about causation is performed. 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.