Dates
Rooms
Tracks
Badges
Your Program
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sun 16 Jan

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:00
KeynoteLAFI at LAFI
Chair(s): Cameron Freer Massachusetts Institute of Technology, Ohad Kammar University of Edinburgh
09:00
60m
Keynote
Abstract types in probabilistic programmingRemote
LAFI
Sam Staton University of Oxford
File Attached
10:20 - 12:00
Invited talksLAFI at LAFI
Chair(s): Andrew D. Gordon Microsoft Research and University of Edinburgh
10:20
33m
Talk
Probabilistic and Differentiable Programming in Scientific SimulatorsRemote
LAFI
Atılım Güneş Baydin Department of Engineering Science, University of Oxford
File Attached
10:53
33m
Talk
Stateful processes in probabilistic programming Remote
LAFI
Hugo Paquet University of Cambridge
File Attached
11:26
33m
Talk
Programming Languages for Automatic Differentiation: What Now?Remote
LAFI
File Attached
15:05 - 16:20
Contributed talksLAFI at LAFI
Chair(s): Christine Tasson Sorbonne Université — LIP6
15:05
18m
Talk
Towards Denotational Semantics of AD for Higher-Order, Recursive, Probabilistic LanguagesRemote
LAFI
Alexander K. Lew Massachusetts Institute of Technology, USA, Mathieu Huot Oxford University, Vikash K. Mansinghka MIT
File Attached
15:23
18m
Talk
A Language and Smoothed Semantics for Convergent Stochastic Gradient DescentRemote
LAFI
Dominik Wagner University of Oxford, C.-H. Luke Ong University of Oxford
File Attached
15:42
18m
Talk
Nonparametric Involutive Markov Chain Monte CarloRemote
LAFI
Carol Mak University of Oxford, Fabian Zaiser University of Oxford, C.-H. Luke Ong University of Oxford
File Attached
16:01
18m
Talk
Rigorous Approximation of Posterior Inference for Probabilistic ProgramsRemote
LAFI
Fabian Zaiser University of Oxford, Raven Beutner CISPA Helmholtz Center for Information Security, Germany, C.-H. Luke Ong University of Oxford
File Attached
16:40 - 17:30
KeynoteLAFI at LAFI
Chair(s): Ohad Kammar University of Edinburgh, Christine Tasson Sorbonne Université — LIP6
16:40
50m
Keynote
Program Analysis of Probabilistic ProgramsRemote
LAFI
Maria I. Gorinova The University of Edinburgh
File Attached