Published: 31st October 2019|
|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|
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.
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).
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).
This session also hosted two invited talks: Coalgebra for causality (Matteo Sammartino University College London) and Causality and Diagrammatic Reasoning (Jean Krivine, CNRS).
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.