St Claude - LAFI 2020

VenueJW Marriott New Orleans

Room nameSt Claude

Floor3

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT-06:00) Saskatchewan, Central America.

Use conference time zone: (GMT-06:00) Saskatchewan, Central AmericaSelect 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

You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 21 Jan
Displayed time zone: Saskatchewan, Central America change

09:00 - 10:00	ALAFI (né PPS) at St Claude

09:00 60m Talk		Invited talk: Nonstandard Interpretation in Pyro LAFI (né PPS) I: Fritz Obermeyer Pre-print

10:30 - 12:30	BLAFI (né PPS) at St Claude

10:30 30m Talk		A Differential-form Pullback Programming Language for Higher-order Reverse-mode Automatic Differentiation LAFI (né PPS) Carol Mak University of Oxford, C.-H. Luke Ong University of Oxford
11:00 30m Talk		A Monad for Point Processes LAFI (né PPS) Swaraj Dash University of Oxford, Sam Staton University of Oxford File Attached
11:30 30m Talk		Denotational Semantics for Differentiable Programming with Manifolds LAFI (né PPS) Jesse Sigal University of Edinburgh
12:00 30m Talk		Backpropagation in the Simply Typed Lambda-calculus with Linear Negation LAFI (né PPS) Aloïs Brunel Deepomatic, Damiano Mazza CNRS, Michele Pagani IRIF - Université de Paris

14:00 - 15:05	CLAFI (né PPS) at St Claude

14:00 30m Talk		Divide, Conquer, and Combine: a New Inference Strategy for Probabilistic Programs with Stochastic Support LAFI (né PPS) Yuan Zhou University of Oxford, Hongseok Yang KAIST, Yee Whye Teh University of Oxford, Tom Rainforth Department of Statistics, University of Oxford
14:32 15m Talk		MetaPPL: Inference Algorithms as First-Class Generative Models LAFI (né PPS) Alexander K. Lew Massachusetts Institute of Technology, USA, Benjamin Sherman Massachusetts Institute of Technology, USA, Marco Cusumano-Towner MIT-CSAIL, Austin Garrett MIT, Ben Zinberg MIT, Vikash K. Mansinghka MIT, Michael Carbin Massachusetts Institute of Technology File Attached
14:49 16m Talk		Monte Carlo Semantic Differencing of Probabilistic Programs LAFI (né PPS) Marco Cusumano-Towner MIT-CSAIL, Vikash K. Mansinghka MIT

15:35 - 17:45	DLAFI (né PPS) at St Claude

15:35 30m Talk		Coinductive Trees for Exact Inference of Probabilistic Programs LAFI (né PPS) Alexander Bagnall Ohio University, Gordon Stewart Ohio University, Anindya Banerjee IMDEA Software Institute
16:05 30m Talk		Name generation and Higher-order Probabilistic Programming (Or is new=rnd?) LAFI (né PPS) Dario Stein University of Oxford, Sam Staton University of Oxford, Michael Wolman McGill University File Attached
16:35 30m Talk		Density Functions of Statistical Probabilistic Programs LAFI (né PPS) Tom Mattinson University of Oxford, C.-H. Luke Ong University of Oxford
17:05 30m Talk		Probabilistic Programming around Gaussian Processes LAFI (né PPS) David Tolpin PUB+
17:35 10m Day closing		Closing LAFI (né PPS)

Tue 21 Jan
Displayed time zone: Saskatchewan, Central America change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
St Claude	LAFI (né PPS) A																		LAFI (né PPS) B																																										LAFI (né PPS) C																			LAFI (né PPS) D

Tue 21 Jan
Displayed time zone: Saskatchewan, Central America change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
St Claude	LAFI Invited talk: Nonstandard Interpretation in Pyro 09:00 - 10:00																		LAFI A Differential-form Pullback Programming Language for Higher-order Reve ... 10:30 - 11:00						LAFI A Monad for Point Processes 11:00 - 11:30						LAFI Denotational Semantics for Differentiable Programming with Manifolds 11:30 - 12:00						LAFI Backpropagation in the Simply Typed Lambda-calculus with Linear Negation 12:00 - 12:30																								LAFI Divide, Conquer, and Combine: a New Inference Strategy for Probabilisti ... 14:00 - 14:30						LAFI MetaPPL: Inference Algorithms as First-Class Generative Models 14:32 - 14:47				LAFI Monte Carlo Semantic Differencing of Probabilistic Programs 14:49 - 15:05									LAFI Coinductive Trees for Exact Inference of Probabilistic Programs 15:35 - 16:05						LAFI Name generation and Higher-order Probabilistic Programming (Or is new=rnd?) 16:05 - 16:35						LAFI Density Functions of Statistical Probabilistic Programs 16:35 - 17:05						LAFI Probabilistic Programming around Gaussian Processes 17:05 - 17:35						LAFI Closing 17:35 - 17:45

Room information: St Claude

Tue 21 Jan
Displayed time zone: Saskatchewan, Central America change

Tue 21 Jan
Displayed time zone: Saskatchewan, Central America change

LAFI (né PPS)

LAFI (né PPS)

LAFI (né PPS)

LAFI (né PPS)

Tue 21 Jan
Displayed time zone: Saskatchewan, Central America change

Tracks

Room information: St Claude

Program Display Configuration

Tue 21 JanDisplayed time zone: Saskatchewan, Central America change

Tue 21 JanDisplayed time zone: Saskatchewan, Central America change

LAFI (né PPS)

LAFI (né PPS)

LAFI (né PPS)

LAFI (né PPS)

Tue 21 JanDisplayed time zone: Saskatchewan, Central America change

Tue 21 Jan
Displayed time zone: Saskatchewan, Central America change

Tue 21 Jan
Displayed time zone: Saskatchewan, Central America change

Tue 21 Jan
Displayed time zone: Saskatchewan, Central America change