Write a Blog >>
Sun 18 Jun 2017 14:00 - 14:30 at Vertex WS208 - Session 3

Bayesian analysis consists of modeling and inference as separate steps, where inference in turn consists of the conceptually separate steps of conditioning and querying. While probabilistic programming systems successfully decouple modeling from inference, they fail to decouple conditioning from querying. In this proposal we aim to formally specify a conditioning transformation that is verifiable, reusable, and useful. To this end we propose a set of semantics that aid in formally specifying conditioning, use the specifications to develop a robust algorithm and implementation of a conditioning tool, and reuse the tool on realistic applications involving MCMC samplers.

Sun 18 Jun

ecoop-2017-Doctoral-Symposium
13:30 - 15:00: ECOOP Doctoral Symposium - Session 3 at Vertex WS208
ecoop-2017-Doctoral-Symposium13:30 - 14:00
Talk
Sarah NadiUniversity of Alberta
ecoop-2017-Doctoral-Symposium14:00 - 14:30
Talk
Praveen NarayananIndiana University, USA
ecoop-2017-Doctoral-Symposium14:30 - 15:00
Talk
Jasper SchulzKing's College London
ecoop-2017-Doctoral-Symposium
15:30 - 17:50: ECOOP Doctoral Symposium - Session 4 at Vertex WS208
ecoop-2017-Doctoral-Symposium15:30 - 16:00
Talk
ecoop-2017-Doctoral-Symposium16:00 - 16:30
Talk
ecoop-2017-Doctoral-Symposium16:30 - 17:00
Talk
ecoop-2017-Doctoral-Symposium17:00 - 17:40
Talk
Eric JulUniversity of Oslo
ecoop-2017-Doctoral-Symposium17:40 - 17:50
Talk