Workshop Program


CREST 2018

Friday 20 April 2018, Erato

08:00 Registration opens
08:45 Welcome
09:00 – 10:00 Jilles Vreeken
Keynote: Simply Telling Cause from Effect
10:00 – 10:30 Coffee Break
10:30 – 11:30 Rayna Dimitrova
Keynote: Causality Analysis for Concurrent Reactive Systems
11:30 – 12:00 Georgiana Caltais, Sophie Linnea Guetlein and Stefan Leue
Causality for General LTL-definable Properties
12:00 – 12:30 Fausto Barbero and Gabriel Sandu
Team Semantics for Interventionist Counterfactuals and Causal Dependence
12:30 – 14:00 Lunch Break
14:00 – 15:00 Marielle Stoelinga
Keynote: Big Data Meets Formal Methods in Reliability Engineering
15:00 – 15:30 Hadas Kress-Gazit and Hazem Torfah
The Challenges in Specifying and Explaining Synthesized Implementations of Reactive Systems
15:30 – 16:00 Kevin Baum, Holger Hermanns and Timo Speith
Towards a Framework Combining Machine Ethics and Machine Explainability
16:00 – 16:30 Coffee Break
16:30 – 17:30 Jean Krivine
Keynote: Causality and Signaling Pathways in Systems Biology of the Cell
17:30 Closing