Program
| 08:50 - 09:00 | Opening remarks |
Session 1, Chair: Oleg Sokolsky
| 09:00 - 10:00 | Keynote presentation: Samantha Kleinberg, Stevens Institute of Technology. | The Logic of Causality |
| 10:00 - 10:30 | coffee break |
Session 2, Chair: Gregor Goessler
| 10:30 - 11:00 | Sjur Kristoffer Dyrkolbotn. | Preemption and Overdetermination in Formal Models of Actual Causality |
| 11:00 - 11:30 | Simon Rehwald, Amjad Ibrahim, Kristian Beckers and Alexander Pretschner. | ACCBench: A Framework for comparing Causality Algorithms |
| 11:30 - 12:00 | Bernd Finkbeiner. | Causality-based Model Checking (invited presentation) |
| 12:00 - 12:30 | Jan-Gerd Meß. | Fault Detection and Isolation in Spacecraft Data Acquisition Systems (invited presentation) |
| 12:30 - 14:00 | lunch break |
Session 3, Chair: Mohammad Reza Mousavi
| 14:00 - 15:00 | Keynote presentation: Marco Bozzano, Fondazione Bruno Kessler. | Causality and temporal dependencies in the design of fault management systems (extended abstract) |
| 15:00 - 15:30 | Gregor Goessler, Jean-Bernard Stefani and Oleg Sokolsky. | A quest for formal tools for reasoning about counterfactual causation |
| 15:30 - 16:00 | coffee break |
Session 4, Chair: Stefan Leue
| 16:00 - 16:30 | Mohammad Reza Mousavi. | Combining Epistemic and Operational Aspects in Compositional Verification of Protocols (invited presentation) |
| 16:30 - 17:00 | Chris Leong, Tim Kelly and Rob Alexander. | Incorporating epistemic uncertainty into the safety assurance of socio-technical systems |
| 17:00 - 17:30 | Closing discussion: Quo vadis CREST? Community building and future of the CREST workshop |
Workshop Dinner
| 18:30 | Workshop Dinner (self-pay), location to be announced. |
Registration
Registration for the CREST 2017 workshop is possible via the ETAPS registration page.
Program Committee
- Georgiana Caltais, University of Konstanz, Germany
- Hana Chockler, King's College London, UK
- Anupam Datta, Carnegie Mellon University, USA
- Görschwin Fey, University of Bremen, Germany
- Gregor Goessler, Inria, France
- Alex Groce, Northern Arizona University, USA (co-chair)
- Sylvain Hallé, Université du Québec à Chicoutimi, Canada
- Joseph Halpern, Cornell University, USA
- Jeff Huang, Texas A&M University, USA
- Samantha Kleinberg, Stevens Institute of Technology, USA
- Peter Ladkin, University of Bielefeld, Germany
- Stefan Leue, University of Konstanz, Germany (co-chair)
- Peter Lucas, Radboud University Nijmegen, Netherlands
- Mohammad Reza Mousavi, Halmstad University, Sweden
- Andy Podgurski, Case Western Reserve University, USA
- Oleg Sokolsky, University of Pennsylvania, USA
- Joost Vennekens, K.U. Leuven, Belgium
- Willem Visser, Stellenbosch University, South Africa
- Georg Weissenbacher, Vienna University of Technology, Austria
- Thomas Wies, New York University, USA