**Chairs:** C. Cirstea, F. Gadducci, H. Schlingloff
**Past Chairmen:** M. Roggenbach, L. SchrÃ¶der, T. Mossakowski, J. Fiadeiro, P. Mosses, H.-J. Kreowski

Tue, 14 January 2020 at 10:10 am in Massa Marittima, Italy

Joint work with: Bart Jacobs, Aleks Kissinger

Abstract: I will give an overview of recent work providing an algebraic and logical foundation to Bayesian probability theory. Within this perspective, Bayesian networks are treated as categorical objects (string diagrams) and reasoned about using methods inspired from programming language semantics. As a proof of concept, we will see how to compute causal inference and counterfactual reasoning in this setting.