Efficient exact inference in discrete Anglican programs ( PPS 2017)

Sun 15 - Sat 21 January 2017

Who

Robert Cornish, Frank Wood, Hongseok Yang

Track

PPS 2017

Time Zone

The program is currently displayed in (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Tue 17 Jan 2017 15:30 - 16:30 at Salle 105, Barre 44-54 - Poster Session

Robert Cornish

University of Oxford

Frank Wood

University of Oxford

Hongseok Yang

University of Oxford

Time Zone

The program is currently displayed in (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Tue 17 Jan
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:30 - 16:30	Poster Session PPS at Salle 105, Barre 44-54

15:30 60m Meeting		ProbLog and applicative probabilistic programming PPS Alexander Vandenbroucke KU Leuven, Belgium, Tom Schrijvers KU Leuven
15:30 60m Meeting		Encapsulating models and approximate inference programs in probabilistic modules PPS Marco Cusumano-Towner MIT-CSAIL, Vikash Mansinghka Massachusetts Institute of Technology
15:30 60m Meeting		The extended semantics for probabilistic programming languages PPS Siddharth Srivastava UTRC Berkeley, Nicholas Hay Vicarious, Yi WU UC Berkeley, Stuart Russell University of California, Berkeley
15:30 60m Meeting		Synthetic topology in homotopy type theory for probabilistic programming PPS Florian Faissole , Bas Spitters
15:30 60m Meeting		Reasoning about inference in probabilistic programs PPS Chandrakana Nandi University of Washington, USA, Adrian Sampson Cornell University, Dan Grossman University of Washington, Todd Mytkowicz , Kathryn S McKinley Microsoft Research
15:30 60m Meeting		On computable representations of exchangeable data PPS Nathanael L. Ackerman Harvard University, Jeremy Avigad Carnegie Mellon University, Cameron Freer Gamalon and Borelian, Daniel Roy , Jason M. Rute Pennsylvania State University
15:30 60m Meeting		Probabilistic logic programs: unifying program trace and possible world semantics PPS Angelika Kimmig KU Leuven, Luc De Raedt KU Leuven
15:30 60m Meeting		Metropolis-Hastings for mixtures of conditional distributions PPS Oleg Kiselyov
15:30 60m Meeting		Support and influence analysis for visualizing posteriors of probabilistic programs PPS Long Ouyang Stanford University
15:30 60m Meeting		Efficient exact inference in discrete Anglican programs PPS Robert Cornish University of Oxford, Frank Wood University of Oxford, Hongseok Yang University of Oxford