Synthetic topology in homotopy type theory for probabilistic programming ( PPS 2017) - POPL 2017

Sun 15 - Sat 21 January 2017

Who

Florian Faissole, Bas Spitters

Track

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

When

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

Florian Faissole

Bas Spitters

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

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