CfP: CREST Workshop on Causation, Responsibility, and Explanations

by Bernd Finkbeiner, Dec. 27, 2017

CREST @ETAPS 2018: 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology

     CREST 2018

 3rd Workshop on formal reasoning about Causation,

      Responsibility, and Explanations in Science and Technology

April 21, 2018, Thessaloniki, Greece

  A satellite event of ETAPS 2018

  Call for Papers


     abstract Feb. 2, 2018, papers Feb. 7, 2017


Today’s IT systems, and the interactions between them, become

increasingly complex. Power grid blackouts, airplane crashes,

failures of medical devices and malfunctioning automotive systems

are just a few examples of incidents that affect system

safety. They are often due to component failures and unexpected

interactions of subsystems under conditions that have not been

anticipated during system design and testing. The failure of one

component may entail a cascade of failures in other

components; several components may also fail independently. In

the security domain, localizing instructions and tracking agents

responsible for information leakage and other system attacks is a

central problem. Determining the root cause(s) of a system-level

failure and elucidating the exact scenario that led to the

failure is today a complex and tedious task that requires

significant expertise. Formal approaches for automated causality

analysis, fault localization, explanation of events,

accountability and blaming have been proposed independently by

several communities – in particular, AI, concurrency, model-based

diagnosis, software engineering, security engineering and formal

methods. Work on these topics has significantly gained speed

during the last years. The goals of this workshop are to bring

together and foster exchange between researchers from the

different communities, and to present and discuss recent advances

and new ideas in the field. Topics of interest include, but are

not limited to:

* foundation of causal reasoning about systems in the philosophy of sciences

* languages and logics for causal specification and causal analysis

* definitions of causality and explanation

* causality analysis on models, programs, and/or traces

* fault localization

* causal reasoning in security engineering

* causality in accident analysis, safety cases and certification

* fault ascription and blaming

* accountability

* applications, implementations, tools and case studies of the above

Important Dates

    abstracts due on Feb 2, 2018

    papers due on Feb 7, 2018

    notification on March 9, 2018

    workshop date April 21, 2018

    papers for post-workshop proceedings due June 8, 2018


Submissions should be prepared in EPTCS style with a length of up

to 15 pages. All contributions must be submitted via the

EasyChair submission web site for CREST 2018.

Program Committee (to be extended)

Hana Chockler, King’s College London 

Bernd Finkbeiner, Saarland University (co-chair)

Gregor Goessler, INRIA

Alex Groce, Oregon State University

Stefan Haar, INRIA Saclay / LSV, ENS Cachan

Holger Hermanns,  Saarland University

Samantha Kleinberg, Stevens Institute of Technology (co-chair)

Stefan Leue, University of Konstanz

Andy Podgurski, Case Western Reserve Unversity

Oleg Sokolsky, University of Pennsylvania

Marielle Stoelinga, University of Twente

Joost Vennekens, Katholieke Universiteit Leuven

Sylvain Hallé, Université du Québec à Chicoutimi

Joseph Halpern, Cornell University


Bernd Finkbeiner, Saarland University 

Samantha Kleinberg, Stevens Institute of Technology