Dear All,

Fabio Zanasi  (http://www.zanasi.com/fabio/) will give a talk about Category theory and how  classical and quantum probability inference can be  formulated in the language of Category theory. These are title and abstract of his talk.

Title:  A predicate/state transformer semantics for Bayesian learning

Abstract:
This work establishes a link between Bayesian inference (learning) and predicate/state transformer operations from programming semantics and logic. In particular, we give a very general formulation of backward and forward inference, in the language of category theory. Our abstract definition will be then illustrated in various examples in discrete and continuous
 probability theory and also in quantum theory.