Abstract
The classical causal model framework of Pearl addresses a hierarchy of causal reasoning tasks --- predictions, interventions and counterfactuals --- of increasing complexity. Despite its wide range of applicability, the classical causal model formalism fails to accommodate quantum correlations while maintaining faithfulness to relativistic causality. A series of recent works in quantum causal models have produced formalisms that generalise various aspects of the classical framework, while allowing for a faithful description of quantum correlations. However, so far these have been restricted to addressing the first two rungs of Pearl's causal ladder. In this talk I will introduce a formalism for counterfactual reasoning in quantum causal models, completing the quantum generalisation of Pearl's causal hierarchy.