Proceedings of the 4th Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology
Georgiana Caltais (Konstanz University), Jean Krivine (CNRS)

TL;DR
This workshop proceedings presents recent research on formal reasoning about causation, responsibility, and explanations in science and technology, highlighting invited talks and selected papers from ETAPS 2019.
Contribution
It compiles recent advances and discussions in formal methods for causation and explanation, emphasizing the latest research presented at the workshop.
Findings
Presentation of 5 invited talks
Inclusion of 4 peer-reviewed papers
Focus on formal reasoning frameworks
Abstract
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
