The CREST workshop series focuses on developing formal methods for reasoning about causation in software and hardware systems, as well as on the foundations of causal reasoning in the philosophy of science. Formal approaches for causal inference, fault localization, event explanation, accountability, and blame have been developed independently across multiple research communities, notably AI, concurrency, model-based diagnosis, software engineering, security engineering, and formal methods. Research on these topics has gained significant momentum in recent years. 

The main objective of CREST is to bring these communities together in order to enable discussions between researchers and practitioners from industry and academia on how causal inference and causal prediction can be performed and further developed. A further objective is to link to the foundations of causal reasoning in the philosophy of sciences and to causal reasoning performed in computer science and engineering. 

CREST 2026 will take place on July 24, 2026, as a satellite event of FLoC 2026.

Previous editions: CREST 2023, 2020, 2019, 2018, 2017, and 2016.

Call for Presentations

The goal of this workshop is to bring together researchers from different communities interested in causality, responsibility, and explanation, foster exchange among them, and provide a forum for presenting and discussing recent advances and new ideas in the field. Topics of interest 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 machine-learning-based systems

• Causality and agency attribution in AI systems

• Causality in socio-technical and legal systems

• Causal reasoning in security engineering

• Causality in accident analysis, safety cases and certification

• Fault ascription and blaming

• Accountability, explainability of algorithms and systems

• Causal models inference, cause mining

• Applications, implementations, tools and case studies of the above

Presentation proposals should be in the form of an extended abstract of up to three pages in LNCS format (not including references) and should be  submitted via HotCRP by May 1, 2026. Submissions can overlap with previously published work and will be judged based on their relevance to the topic of the workshop. The review process will be single blind. 

Important Dates

• Submission: May 1, 2026 AoE

• Notifications: May 7, 2026

• (Early-bird Conference Registration: May 15, 2026)

• Early-bird Workshop Registration: June 1, 2026

• Workshop Day: July 24, 2026

 Invited Speakers

Program 

CREST'26 will be held as a one-day workshop on July 24 at ISCTE, the FLoC'26 venue in Lisbon, Portugal. 

Detailed Program: TBA

Organization