skip to content

Seminar Archive

E.g., 2017-07-23
E.g., 2017-07-23
Event Code Date Speaker Seminar Title Presentation Material
BPR 7th July 2017 Dan Licata, Kuen-Bang Hou (Favonia) Homotopy Type Theory in Agda
SINW01 7th July 2017 Christian Robert Inference in generative models using the Wasserstein distance
BPR 7th July 2017 Floris van Doorn The Lean HoTT library
SINW01 7th July 2017 Jose Blanchet Exact Sampling for Multivariate Diffusions
BPR 7th July 2017 Bas Spitters The HoTT library in Coq
BPR 7th July 2017 Benedikt Ahrens, Catherine LELAY Overview of Unimath
SINW01 7th July 2017 David Firth Bradley-Terry models for pair-comparison networks: Structure and scalability
SINW01 7th July 2017 Eric François Moulines Langevin MCMC: theory and methods
BPR 6th July 2017 Martin Hofmann Interpretation of the Calculus of Constructions in dictoses
SINW01 6th July 2017 Chris Sherlock The Discrete Bouncy Particle Sampler
SINW01 6th July 2017 Sinan Yildirim Scalable Monte Carlo inference for state-space models
BPR 6th July 2017 Ulrik Buchholtz Nominal applications of the classifying space of the finitary permutation group
SINW01 6th July 2017 Arnaud Doucet The Correlated Pseudo-Marginal Method
BPR 6th July 2017 Fabian Immler A Verified ODE Solver and Smale's 14th Problem
SINW01 6th July 2017 Matti Vihola Importance sampling type estimators based on approximate marginal Markov chain Monte Carlo and exact approximation
BPR 6th July 2017 Chris Kapulkin Type theory and higher categories
SINW01 6th July 2017 Po-Ling Loh Community recovery in weighted stochastic block models
BPR 6th July 2017 J Strother Moore Industrial Use of a Mechanical Theorem Prover
SINW01 6th July 2017 James Scott Detecting radiological anomalies
SINW01 6th July 2017 Katherine Heller Mobile Apps and Machine Learning for Improving Healthcare
SINW01 6th July 2017 Helen Zhang Hierarchy-preserving regularization solution paths for identifying interactions in high dimensional data
SINW01 5th July 2017 Louis Aslett Towards Encrypted Inference for Arbitrary Models
SINW01 5th July 2017 Chris Holmes Fast Bayesian Boolean Matrix Factorisation
BPR 5th July 2017 Social Proof Seminar (coordinated by Fenner Tanswell)
SINW01 5th July 2017 Gareth Roberts Optimisation and complexity for Gibbs samplers for hierarchical and crossed-effect models
SINW01 5th July 2017 Murray Pollock Exact Bayesian Inference for Big Data: Single- and Multi-Core Approaches
BPR 5th July 2017 Manuel Eberl Semi-Automatic Asymptotics in Isabelle/HOL
SINW01 5th July 2017 Christophe Andrieu On the ordering of some nonreversible Markov chain and Markov process Monte Carlo methods
SINW01 5th July 2017 Sam Livingstone Kinetic energy choice in Hamiltonian/hybrid Monte Carlo
SINW01 5th July 2017 Wentao Li Validating approximate Bayesian computation on posterior convergence
SINW01 5th July 2017 Paul Fearnhead Asymptotics of Approximate Bayesian Computation
SINW01 4th July 2017 Darren Wilkinson Category theory and functional programming for scalable statistical modelling and computational inference
SINW01 4th July 2017 Kerrie Mengersen Transferability: as easy as ABC?
BPR 4th July 2017 Big Proof and Education (coordinated by Jeremy Avigad)
SINW01 4th July 2017 Cristiano Varin Designing efficient composite likelihoods
SINW01 4th July 2017 Tamara Broderick Coresets for scalable Bayesian logistic regression
BPR 4th July 2017 Johannes Hölzl Classical Analysis in Lean & Isabelle
SINW01 4th July 2017 Jun Liu tba
SINW01 4th July 2017 Steven Scott Comparing Consensus Monte Carlo Strategies for Distributed Bayesian Computation
BPR 4th July 2017 Kuen-Bang Hou (Favonia) Computational Higher-Dimensional Type Theory
SINW01 4th July 2017 Anthony Lee Unbiased approximations of products of expectations
SINW01 4th July 2017 Michael Jordan Variational, Hamiltonian and Symplectic Perspectives on Acceleration
BPR 3rd July 2017 Natarajan Shankar Inference Algorithms
SINW01 3rd July 2017 Havard Rue Scalable statistical inference with INLA
SINW01 3rd July 2017 Helen Ogden Inference with approximate likelihoods
BPR 3rd July 2017 Johannes Hölzl Proof Automation - Automation in Isabelle's Analysis
SINW01 3rd July 2017 Alexandre Bouchard Monte Carlo without rejection
SINW01 3rd July 2017 Sylvia Richardson Data compression with statistical guarantees
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons