Published: 31st October 2019
DOI: 10.4204/EPTCS.308
ISSN: 2075-2180

EPTCS 308

Proceedings of the 4th Workshop on
Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology
Prague, Czech Republic, 7th April 2019

Edited by: Georgiana Caltais and Jean Krivine

Preface Georgiana Caltais and Jean Krivine
Towards A Logical Account of Epistemic Causality Shakil M. Khan and Mikhail Soutchanski	1
Extending Causal Models from Machines into Humans Severin Kacianka, Amjad Ibrahim, Alexander Pretschner, Alexander Trende and Andreas Lüdtke	17
Causality & Control Flow Robert Künnemann, Deepak Garg and Michael Backes	32
Dynamic Conflict Resolution Using Justification Based Reasoning Werner Damm, Martin Fränzle, Willem Hagemann, Paul Kröger and Astrid Rakow	47

Preface

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.

The Programme Committee of CREST 2019 was:
– Georgiana Caltais (Co-chair) University of Konstanz
– Jean Krivine (Co-chair) CNRS and Université de Paris
– Hana Chockler, King’s College London
– Gabriel Ciobanu, Alexandru Ioan Cuza University of Iasi
– Sjur Kristoffer Dyrkolbotn, Western Norway University of Applied Sciences
– Eric Fabre, INRIA; Gregor Gössler, INRIA
– Samantha Kleinberg, Stevens Institute of Technology
– Ivan Lanese, University of Bologna/INRIA
– Matteo Sammartino, University College London
– Oleg Sokolsky, University of Pennsylvania
– Kristinn R. Thórisson, Reykjavik University & Icelandic Institute for Intelligent Machines
– Louise Travé-Massuyès, CNRS
– Daniele Varacca, Université Paris Est - Créteil.

We are proud to say that the workshop was a real success. The numerous interactions between the audience and the speakers, together with the quality of the talks, allowed everyone to enjoy a fruitful scientific meeting. The presentations of the works that were presented at the workshop were divided into four sessions.

Actual Causation

The invited talk by Luke Fenton-Glynn (University College London) on Probabilistic Actual Causation, was followed by Causality and Control Flow (Robert Künnemann, Deepak Garg, Michael Backes) and Extending Causal Models from Machines into Humans (Severin Kacianka, Amjad Ibrahim, Alexander Pretschner, Alexander Trende, Andreas Lüdtke).

Causal discovery and methods

The session hosted two invited talks: Computational Discovery and its Applications (Sisi Ma, University of Minnesota) and Towards a Science of Perspicuous Computing - Lessons learnt from the Analysis of Automotive Emissions Control Systems (Holger Hermanns, Saarland University).

Algebraic Approaches to causality

This session also hosted two invited talks: Coalgebra for causality (Matteo Sammartino University College London) and Causality and Diagrammatic Reasoning (Jean Krivine, CNRS).

Causality, Repairs and multi-agent systems

This session concluded the meeting with the invited talk: Analysis, Repair and Causality for Timed Diagnostic Traces (Stefan Leue, University of Konstanz) and the two regular papers that are also included in these proceedings: Dynamic Conflict Resolution Using Justification Based Reasoning (Werner Damm, Martin Fränzle, Willem Hagemann, Paul Kröger, Astrid Rakow) and Towards A Logical Account of Epistemic Causality (Shakil M. Khan, Mikhail Soutchanski).

We are looking forward to the fifth edition of CREST, as part of ETAPS 2020 to be held on April 25-30 in Dublin, Ireland.