---------- Forwarded message ----------
From:
Announcements of talks at IDSIA <talks@idsia.ch>Date: Tue, Aug 30, 2016 at 10:25 AM
Subject: [Talks@IDSIA] Monday 5/9/2016, h15.30, meeting room, A predicate/state transformer semantics for Bayesian learning
To: IDSIA Talks <
talks@idsia.ch>
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.