CREST 2027

Call for Presentations

CREST brings together researchers from the different communities that study causality, responsibility, and explanations. The workshop is a place to exchange ideas across these communities and to present and discuss recent results and new directions.

Topics of interest

Topics include, but are not limited to:

Languages and logics for causal specification and causal analysis
Derivation of causal models (e.g., during runtime verification / observation)
Actual causality in hybrid, cyber-physical and ML-based systems
Causality and agency attribution in AI systems
Causality in socio-technical and legal systems
Causal reasoning for security engineering
Causality in accident analysis, safety cases, and certification
Fault ascription and blaming
Accountability and explainability of algorithms and systems
Causal model inference and cause mining
Applications, implementations, tools and case studies of the above

Submission guidelines

We invite presentation proposals in the form of an extended abstract of up to 3 pages (excluding references) in LNCS format.

Work that overlaps with previously published results is welcome. Proposals will be selected based on their relevance to the workshop topics, and reviewing is single-blind.

Submission instructions will be announced soon.

Important dates

Submission deadlineTBD
NotificationTBD
WorkshopJuly 20, 2027

All deadlines are Anywhere on Earth (AoE).

Keynote Speakers

TBD

Keynote speakers will be announced soon.

Program

TBD

The workshop program will be published after notification of acceptance.

Organization

Venue

CREST 2027 takes place at KIT (formerly the Royal Tropical Institute) in Amsterdam, as part of CAV 2027. Registration is handled through the CAV 2027 website.