Talks September 2016

talks@lists.idsia.ch

1 participants
2 discussions

Monday 5/9/2016, h15.30, meeting room, A predicate/state transformer semantics for Bayesian learning

by Announcements of talks＠IDSIA

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.

8 years, 3 months

1
1
0 / 0

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

by Announcements of talks＠IDSIA

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> 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> 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

8 years, 3 months

1
0
0 / 0

← Newer
1
Older →

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

Talks September 2016