Leonardo Ceragioli and Giuseppe Primiero will present their two-part research, “A Proof System with Causal Labels,” at the OVERLAY 2025: 7TH INTERNATIONAL WORKSHOP ON ARTIFICIAL INTELLIGENCE AND FORMAL VERIFICATION, LOGIC, AUTOMATA, AND SYNTHESIS.

The workshop is part of the ECAI 2025 conference in Bologna.

A Proof System with Causal Labels (Part I): checking Individual Fairness and Intersectionality

A Proof System with Causal Labels (Part II): checking Counterfactual Fairness

26 October 2025

Bologna, University of Bologna
The Engineering School