|
BPR |
Monday 3rd July |
11:00 to 12:00 |
Bas Spitters |
Synthetic topology in Homotopy Type Theory for probabilistic programming |
|
SINW01 |
Monday 3rd July |
13:30 to 14:15 |
Sylvia Richardson |
tba |
|
SINW01 |
Monday 3rd July |
14:15 to 15:00 |
Alexandre Bouchard |
Monte Carlo without rejection |
|
BPR |
Monday 3rd July |
15:30 to 17:30 |
|
Proof Automation (coordinated by N. Shankar) |
|
SINW01 |
Monday 3rd July |
15:30 to 16:15 |
Helen Ogden |
Inference with approximate likelihoods |
|
SINW01 |
Monday 3rd July |
16:15 to 17:00 |
Havard Rue |
Scalable statistical inference with INLA |
|
SINW01 |
Tuesday 4th July |
09:00 to 09:45 |
Michael Jordan |
Variational, Hamiltonian and Symplectic Perspectives on Acceleration |
|
SINW01 |
Tuesday 4th July |
09:45 to 10:30 |
Anthony Lee |
Unbiased approximations of products of expectations |
|
SINW01 |
Tuesday 4th July |
11:00 to 11:45 |
Steven Scott |
Comparing Consensus Monte Carlo Strategies for Distributed Bayesian Computation |
|
SINW01 |
Tuesday 4th July |
11:45 to 12:30 |
Jun Liu |
tba |
|
SINW01 |
Tuesday 4th July |
13:30 to 14:15 |
Tamara Broderick |
Coresets for scalable Bayesian logistic regression |
|
SINW01 |
Tuesday 4th July |
14:15 to 15:00 |
Cristiano Varin |
Designing efficient composite likelihoods to model temporal and spatial variation in disease incidence |
|
BPR |
Tuesday 4th July |
15:30 to 17:30 |
|
Big Proof and Education (coordinated by Jeremy Avigad) |
|
SINW01 |
Tuesday 4th July |
15:30 to 16:15 |
Kerrie Mengersen |
tba |
|
SINW01 |
Tuesday 4th July |
16:15 to 17:00 |
Darren Wilkinson |
Category theory and functional programming for scalable statistical modelling and computational inference |
|
SINW01 |
Wednesday 5th July |
09:00 to 09:45 |
Paul Fearnhead |
Asymptotics of Approximate Bayesian Computation |
|
SINW01 |
Wednesday 5th July |
09:45 to 10:30 |
Wentao Li |
Validating approximate Bayesian computation on posterior convergence |
|
SINW01 |
Wednesday 5th July |
11:00 to 11:45 |
Sam Livingstone |
Kinetic energy choice in Hamiltonian/hybrid Monte Carlo |
|
SINW01 |
Wednesday 5th July |
11:45 to 12:30 |
Christophe Andrieu |
On the ordering of some nonreversible Markov chain and Markov process Monte Carlo methods |
|
SINW01 |
Wednesday 5th July |
13:30 to 14:15 |
Murray Pollock |
Exact Bayesian Inference for Big Data: Single- and Multi-Core Approaches |
|
SINW01 |
Wednesday 5th July |
14:15 to 15:00 |
Gareth Roberts |
Optimisation and complexity for Gibbs samplers for hierarchical and crossed-effect models |
|
SINW01 |
Wednesday 5th July |
15:30 to 16:15 |
Chris Holmes |
Fast Bayesian Boolean Matrix Factorisation |
|
BPR |
Wednesday 5th July |
15:30 to 17:30 |
|
Social Proof Seminar (coordinated by Fenner Tanswell) |
|
SINW01 |
Wednesday 5th July |
16:15 to 17:00 |
Louis Aslett |
Towards Encrypted Inference for Arbitrary Models |
|
SINW01 |
Thursday 6th July |
09:00 to 09:45 |
Helen Zhang |
Hierarchy-preserving regularization solution paths for identifying interactions in high dimensional data |
|
SINW01 |
Thursday 6th July |
09:45 to 10:30 |
Katherine Heller |
Mobile Apps and Machine Learning for Improving Healthcare |
|
SINW01 |
Thursday 6th July |
11:00 to 11:45 |
James Scott |
Detecting radiological anomalies |
|
SINW01 |
Thursday 6th July |
11:45 to 12:30 |
Po-Ling Loh |
Community recovery in weighted stochastic block models |
|
SINW01 |
Thursday 6th July |
13:30 to 14:15 |
Matti Vihola |
Importance sampling type estimators based on approximate marginal Markov chain Monte Carlo and exact approximation |
|
SINW01 |
Thursday 6th July |
14:15 to 15:00 |
Arnaud Doucet |
The Correlated Pseudo-Marginal Method |
|
SINW01 |
Thursday 6th July |
15:30 to 16:15 |
Sinan Yildirim |
Scalable Monte Carlo inference for state-space models |
|
BPR |
Thursday 6th July |
15:30 to 16:30 |
Ulrik Buchholtz |
Nominal applications of the classifying space of the finitary permutation group |
|
SINW01 |
Thursday 6th July |
16:15 to 17:00 |
Chris Sherlock |
The Discrete Bouncy Particle Sampler |
|
BPR |
Thursday 6th July |
16:30 to 17:30 |
Martin Hofmann |
Interpretation of the Calculus of Constructions in dictoses |
|
SINW01 |
Friday 7th July |
09:00 to 09:45 |
Eric François Moulines |
Langevin MCMC: theory and methods |
|
BPR |
Friday 7th July |
09:00 to 10:00 |
|
Unimath tutorial |
|
SINW01 |
Friday 7th July |
09:45 to 10:30 |
David Firth |
tba |
|
SINW01 |
Friday 7th July |
11:00 to 11:45 |
Jose Blanchet |
Exact Sampling for Multivariate Diffusions |
|
SINW01 |
Friday 7th July |
11:45 to 12:30 |
Christian Robert |
Asymptotic Properties of Approximate Bayesian Computation |
|
BPR |
Friday 7th July |
13:00 to 14:00 |
J Strother Moore |
An Industrially Useful Prover |
