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

Gentle reminder of today's talk. Category theory + quantum probability (see below). It will be very interesting! Ciao, Alessio ---------- Forwarded message ---------- From: Announcements of talks at IDSIA <talks(a)idsia.ch&gt; 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(a)idsia.ch&gt; 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. _______________________________________________ Talks mailing list Talks(a)idsia.ch http://mailman2.ti-edu.ch/mailman/listinfo/talks