Published: 3rd January 2019
DOI: 10.4204/EPTCS.286
ISSN: 2075-2180

EPTCS 286

Proceedings 3rd Workshop on
formal reasoning about Causation, Responsibility, and Explanations in Science and Technology
Thessaloniki, Greece, 21st April 2018

Edited by: Bernd Finkbeiner and Samantha Kleinberg

Preface
Bernd Finkbeiner and Samantha Kleinberg
Causality for General LTL-definable Properties
Georgiana Caltais, Sophie Linnea Guetlein and Stefan Leue
1
Interventionist Counterfactuals on Causal Teams
Fausto Barbero and Gabriel Sandu
16
Causality Analysis for Concurrent Reactive Systems (Extended Abstract)
Rayna Dimitrova, Rupak Majumdar and Vinayak S. Prabhu
31
Towards a Framework Combining Machine Ethics and Machine Explainability
Kevin Baum, Holger Hermanns and Timo Speith
34
The Challenges in Specifying and Explaining Synthesized Implementations of Reactive Systems
Hadas Kress-Gazit and Hazem Torfah
50
Interactions between Causal Structures in Graph Rewriting Systems
Ioana Cristescu, Walter Fontana and Jean Krivine
65

Preface

The third Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology, CREST 2018, was held in Thessaloniki, Greece, on April 20, 2018, as a satellite event of ETAPS 2018. 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 the workshop 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.

CREST 2018 featured four invited keynote talks as well as four peer-reviewed presentations. The keynote talks were Simply Telling Cause from Effect by Jilles Vreeken, Causality Analysis for Concurrent Reactive Systems by Rayna Dimitrova, Big Data Meets Formal Methods in Reliability Engineering by Marielle Stoelinga, and Causality and Signaling Pathways in Systems Biology of the Cell by Jean Krivine.

We wish to thank the speakers and authors of all invited and contributed presentations, who caused the CREST workshop to have its actual substance. The program committee also causally contributed to the successful event, by providing thorough evaluations of the contributions, and useful feedback to authors. The ETAPS organizational committee and the chairs of last year's workshop also produced highly beneficial effects, such as logistical support.

Bernd Finkbeiner, Saarland University
Samantha Kleinberg, Stevens Institute of Technology

Program Committee