Proceedings of the 4th Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology
arXiv:1910.13641v1
Originality Synthesis-oriented
AI Analysis
This is an incremental workshop proceedings, compiling research on formal methods for causation and explanation in science and technology.
The paper describes the proceedings of the 4th Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology, which included 5 invited speakers and 4 regular papers selected through a reviewing process.
The fourth edition of the international workshop on Causation, Responsibility and Explanation took place in Prague (Czech Republic) as part of ETAPS 2019. The program consisted in 5 invited speakers and 4 regular papers, whose selection was based on a careful reviewing process and that are included in these proceedings.