[Talks@IDSIA] Monday 5/9/2016, h15.30, meeting room, A predicate/state transformer semantics for Bayesian learning

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.