University of Cambridge > Talks.cam > Non-DAMTP CMS events

Non-DAMTP CMS events

Add to your list(s) Send you e-mail reminders Further detail
Subscribe using ical/vcal (Help)

CMS events that are NOT DAMTP events. This list is used as a data source only for the DAMTP website: http://www.damtp.cam.ac.uk/internal/seminars/ “Other Seminars”

More information at: http://www.damtp.cam.ac.uk/internal/computing/infoscreen/

What lists provides data to what service

Tell a friend about this list:

If you have a question about this list, please contact: Mike Rose; Chris Mortimer; D. Finucane; John Sutton; https://www.damtp.cam.ac.uk/; Eva Myers; rb783; Tom O'Shea. If you have a question about a specific talk, click on that talk to find its organiser.

75 upcoming talks and 10880 talks in the archive: show first 500.

Isaac Newton Institute Seminar Series

Categorified knot invariants and algebraic geometry

HTLW04 - Quantum topology and categorified representation theory

UserAndrei Negut (Massachusetts Institute of Technology).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 28 June 2017, 10:00-11:00

Isaac Newton Institute Seminar Series

Categorical diagonalization

HTLW04 - Quantum topology and categorified representation theory

UserMatthew Hogancamp (University of Southern California).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 28 June 2017, 11:30-12:30

Isaac Newton Institute Seminar Series

2-Verma modules and the Khovanov-Rozansky link homologies

HTLW04 - Quantum topology and categorified representation theory

UserPedro Vaz (Université Catholique de Louvain ).

HouseSeminar Room 1, Newton Institute.

ClockThursday 29 June 2017, 10:00-11:00

Isaac Newton Institute Seminar Series

Metaprogramming in Lean

BPR - Big proof

UserJeremy Avigad (Carnegie Mellon University).

HouseSeminar Room 2, Newton Institute.

ClockThursday 29 June 2017, 11:00-12:00

Isaac Newton Institute Seminar Series

Non-multiplicative TQFTs and diagrammatic categorifications of the polynomial ring

HTLW04 - Quantum topology and categorified representation theory

UserRadmila Sazdanovic (North Carolina State University).

HouseSeminar Room 1, Newton Institute.

ClockThursday 29 June 2017, 11:30-12:30

Isaac Newton Institute Seminar Series

Some webs and q-Howe dualities in types BCD

HTLW04 - Quantum topology and categorified representation theory

UserDaniel Tubbenhauer (Universität Bonn).

HouseSeminar Room 1, Newton Institute.

ClockThursday 29 June 2017, 13:30-14:30

Isaac Newton Institute Seminar Series

Towards a categorical boson-fermion correspondence

HTLW04 - Quantum topology and categorified representation theory

UserYian Tian (Tsinghua University).

HouseSeminar Room 1, Newton Institute.

ClockThursday 29 June 2017, 14:30-15:30

Isaac Newton Institute Seminar Series

HoTT research seminar (Coquand & Rijke)

BPR - Big proof

UserAndrew Pitts (University of Cambridge).

HouseSeminar Room 2, Newton Institute.

ClockThursday 29 June 2017, 15:30-17:30

Isaac Newton Institute Seminar Series

Quantum Annular Link Homology via Trace Functor

HTLW04 - Quantum topology and categorified representation theory

UserAnna Beliakova (Universität Zürich).

HouseSeminar Room 1, Newton Institute.

ClockThursday 29 June 2017, 16:00-17:00

Isaac Newton Institute Seminar Series

A tutorial introduction to Agda

BPR - Big proof

UserAndreas Abel (Göteborgs Universitet).

HouseSeminar Room 2, Newton Institute.

ClockFriday 30 June 2017, 11:00-12:00

Isaac Newton Institute Seminar Series

Left-orderability and 3-manifold groups: Rothschild Lecture

HTLW04 - Quantum topology and categorified representation theory

UserCameron Gordon (University of Texas at Austin).

HouseSeminar Room 1, Newton Institute.

ClockFriday 30 June 2017, 15:00-16:00

Isaac Newton Institute Seminar Series

tba

SINW01 - Scalable statistical inference

UserSylvia Richardson (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

ClockMonday 03 July 2017, 13:30-14:15

Isaac Newton Institute Seminar Series

Monte Carlo without rejection

SINW01 - Scalable statistical inference

UserAlexandre Bouchard (University of British Columbia).

HouseSeminar Room 1, Newton Institute.

ClockMonday 03 July 2017, 14:15-15:00

Isaac Newton Institute Seminar Series

Inference with approximate likelihoods

SINW01 - Scalable statistical inference

UserHelen Ogden (University of Southampton).

HouseSeminar Room 1, Newton Institute.

ClockMonday 03 July 2017, 15:30-16:15

Isaac Newton Institute Seminar Series

Scalable statistical inference with INLA

SINW01 - Scalable statistical inference

UserHavard Rue (Norwegian University of Science and Technology).

HouseSeminar Room 1, Newton Institute.

ClockMonday 03 July 2017, 16:15-17:00

Isaac Newton Institute Seminar Series

Variational, Hamiltonian and Symplectic Perspectives on Acceleration

SINW01 - Scalable statistical inference

UserMichael Jordan (University of California, Berkeley).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 04 July 2017, 09:00-09:45

Isaac Newton Institute Seminar Series

Unbiased approximations of products of expectations

SINW01 - Scalable statistical inference

UserAnthony Lee (University of Warwick).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 04 July 2017, 09:45-10:30

Isaac Newton Institute Seminar Series

Comparing Consensus Monte Carlo Strategies for Distributed Bayesian Computation

SINW01 - Scalable statistical inference

UserSteven Scott (Google).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 04 July 2017, 11:00-11:45

Isaac Newton Institute Seminar Series

tba

SINW01 - Scalable statistical inference

UserJun Liu (Harvard University; Harvard University).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 04 July 2017, 11:45-12:30

Isaac Newton Institute Seminar Series

Coresets for scalable Bayesian logistic regression

SINW01 - Scalable statistical inference

UserTamara Broderick (Massachusetts Institute of Technology).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 04 July 2017, 13:30-14:15

Isaac Newton Institute Seminar Series

Designing efficient composite likelihoods to model temporal and spatial variation in disease incidence

SINW01 - Scalable statistical inference

UserCristiano Varin (Università Cà Foscari di Venezia).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 04 July 2017, 14:15-15:00

Isaac Newton Institute Seminar Series

tba

SINW01 - Scalable statistical inference

UserKerrie Mengersen (Queensland University of Technology).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 04 July 2017, 15:30-16:15

Isaac Newton Institute Seminar Series

Category theory and functional programming for scalable statistical modelling and computational inference

SINW01 - Scalable statistical inference

UserDarren Wilkinson (Newcastle University).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 04 July 2017, 16:15-17:00

Isaac Newton Institute Seminar Series

Asymptotics of Approximate Bayesian Computation

SINW01 - Scalable statistical inference

UserPaul Fearnhead (Lancaster University).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 05 July 2017, 09:00-09:45

Isaac Newton Institute Seminar Series

Validating approximate Bayesian computation on posterior convergence

SINW01 - Scalable statistical inference

UserWentao Li (Lancaster University).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 05 July 2017, 09:45-10:30

Isaac Newton Institute Seminar Series

Kinetic energy choice in Hamiltonian/hybrid Monte Carlo

SINW01 - Scalable statistical inference

UserSam Livingstone (University of Bristol).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 05 July 2017, 11:00-11:45

Isaac Newton Institute Seminar Series

On the ordering of some nonreversible Markov chain and Markov process Monte Carlo methods

SINW01 - Scalable statistical inference

UserChristophe Andrieu (University of Bristol).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 05 July 2017, 11:45-12:30

Isaac Newton Institute Seminar Series

Exact Bayesian Inference for Big Data: Single- and Multi-Core Approaches

SINW01 - Scalable statistical inference

UserMurray Pollock (University of Warwick).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 05 July 2017, 13:30-14:15

Isaac Newton Institute Seminar Series

Optimisation and complexity for Gibbs samplers for hierarchical and crossed-effect models

SINW01 - Scalable statistical inference

UserGareth Roberts (University of Warwick).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 05 July 2017, 14:15-15:00

Isaac Newton Institute Seminar Series

Fast Bayesian Boolean Matrix Factorisation

SINW01 - Scalable statistical inference

UserChris Holmes (University of Oxford).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 05 July 2017, 15:30-16:15

Isaac Newton Institute Seminar Series

Towards Encrypted Inference for Arbitrary Models

SINW01 - Scalable statistical inference

UserLouis Aslett (University of Oxford).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 05 July 2017, 16:15-17:00

Isaac Newton Institute Seminar Series

Hierarchy-preserving regularization solution paths for identifying interactions in high dimensional data

SINW01 - Scalable statistical inference

UserHelen Zhang (University of Arizona).

HouseSeminar Room 1, Newton Institute.

ClockThursday 06 July 2017, 09:00-09:45

Isaac Newton Institute Seminar Series

Mobile Apps and Machine Learning for Improving Healthcare

SINW01 - Scalable statistical inference

UserKatherine Heller (Duke University).

HouseSeminar Room 1, Newton Institute.

ClockThursday 06 July 2017, 09:45-10:30

Isaac Newton Institute Seminar Series

Detecting radiological anomalies

SINW01 - Scalable statistical inference

UserJames Scott (University of Texas at Austin).

HouseSeminar Room 1, Newton Institute.

ClockThursday 06 July 2017, 11:00-11:45

Isaac Newton Institute Seminar Series

Industrial Use of a Mechanical Theorem Prover

BPR - Big proof

UserJ Strother Moore (University of Texas at Austin; University of Edinburgh).

HouseSeminar Room 2, Newton Institute.

ClockThursday 06 July 2017, 11:00-12:00

Isaac Newton Institute Seminar Series

Community recovery in weighted stochastic block models

SINW01 - Scalable statistical inference

UserPo-Ling Loh (University of Wisconsin-Madison).

HouseSeminar Room 1, Newton Institute.

ClockThursday 06 July 2017, 11:45-12:30

Isaac Newton Institute Seminar Series

Importance sampling type estimators based on approximate marginal Markov chain Monte Carlo and exact approximation

SINW01 - Scalable statistical inference

UserMatti Vihola (University of Jyväskylä ).

HouseSeminar Room 1, Newton Institute.

ClockThursday 06 July 2017, 13:30-14:15

Isaac Newton Institute Seminar Series

The Correlated Pseudo-Marginal Method

SINW01 - Scalable statistical inference

UserArnaud Doucet (University of Oxford).

HouseSeminar Room 1, Newton Institute.

ClockThursday 06 July 2017, 14:15-15:00

Isaac Newton Institute Seminar Series

Scalable Monte Carlo inference for state-space models

SINW01 - Scalable statistical inference

UserSinan Yildirim (Sabanci University).

HouseSeminar Room 1, Newton Institute.

ClockThursday 06 July 2017, 15:30-16:15

Isaac Newton Institute Seminar Series

Nominal applications of the classifying space of the finitary permutation group

BPR - Big proof

UserUlrik Buchholtz (Technische Universität Darmstadt).

HouseSeminar Room 2, Newton Institute.

ClockThursday 06 July 2017, 15:30-16:30

Isaac Newton Institute Seminar Series

The Discrete Bouncy Particle Sampler

SINW01 - Scalable statistical inference

UserChris Sherlock (Lancaster University).

HouseSeminar Room 1, Newton Institute.

ClockThursday 06 July 2017, 16:15-17:00

Isaac Newton Institute Seminar Series

Interpretation of the Calculus of Constructions in dictoses

BPR - Big proof

UserMartin Hofmann (Ludwig-Maximilians-Universität München).

HouseSeminar Room 2, Newton Institute.

ClockThursday 06 July 2017, 16:30-17:30

Isaac Newton Institute Seminar Series

Langevin MCMC: theory and methods

SINW01 - Scalable statistical inference

UserEric François Moulines (Télécom ParisTech).

HouseSeminar Room 1, Newton Institute.

ClockFriday 07 July 2017, 09:00-09:45

Isaac Newton Institute Seminar Series

tba

SINW01 - Scalable statistical inference

UserDavid Firth (University of Warwick).

HouseSeminar Room 1, Newton Institute.

ClockFriday 07 July 2017, 09:45-10:30

Isaac Newton Institute Seminar Series

Exact Sampling for Multivariate Diffusions

SINW01 - Scalable statistical inference

UserJose Blanchet (Columbia University; Stanford University).

HouseSeminar Room 1, Newton Institute.

ClockFriday 07 July 2017, 11:00-11:45

Isaac Newton Institute Seminar Series

Asymptotic Properties of Approximate Bayesian Computation

SINW01 - Scalable statistical inference

UserChristian Robert (CNRS & Université Paris-Dauphine ).

HouseSeminar Room 1, Newton Institute.

ClockFriday 07 July 2017, 11:45-12:30

Isaac Newton Institute Seminar Series

An Industrially Useful Prover

BPR - Big proof

UserJ Strother Moore (University of Texas at Austin; University of Edinburgh).

HouseSeminar Room 2, Newton Institute.

ClockFriday 07 July 2017, 13:00-14:00

Isaac Newton Institute Seminar Series

International Knowledge Management Trust

BPR - Big proof

UserStephen Watt (University of Waterloo); Patrick Ion (University of Michigan).

HouseSeminar Room 1, Newton Institute.

ClockSunday 09 July 2017, 14:00-17:00

Isaac Newton Institute Seminar Series

Big Conjectures

BPRW01 - Computer-aided mathematical proof

UserThomas Hales (University of Pittsburgh).

HouseSeminar Room 1, Newton Institute.

ClockMonday 10 July 2017, 10:00-11:00

Isaac Newton Institute Seminar Series

tba

BPRW01 - Computer-aided mathematical proof

UserVladimir Voevodsky (Institute for Advanced Study, Princeton).

HouseSeminar Room 1, Newton Institute.

ClockMonday 10 July 2017, 11:30-12:30

Isaac Newton Institute Seminar Series

Proof Assistants: From Symbolic Logic To Real Mathematics?

BPRW01 - Computer-aided mathematical proof

UserLarry Paulson (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

ClockMonday 10 July 2017, 14:30-15:30

Isaac Newton Institute Seminar Series

The social machine of mathematics

BPRW01 - Computer-aided mathematical proof

UserUrsula Martin (University of Oxford).

HouseSeminar Room 1, Newton Institute.

ClockMonday 10 July 2017, 16:00-17:00

Isaac Newton Institute Seminar Series

Impredicative encodings in HoTT

BPRW01 - Computer-aided mathematical proof

UserSteve Awodey (Carnegie Mellon University).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 11 July 2017, 09:00-10:00

Isaac Newton Institute Seminar Series

Logic in univalent type theory

BPRW01 - Computer-aided mathematical proof

UserMartin Escardo (University of Birmingham; University of Birmingham).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 11 July 2017, 10:00-11:00

Isaac Newton Institute Seminar Series

Homotopy Type Theory in Lean

BPRW01 - Computer-aided mathematical proof

UserFloris van Doorn (Carnegie Mellon University).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 11 July 2017, 11:30-12:30

Isaac Newton Institute Seminar Series

Small Proofs

BPRW01 - Computer-aided mathematical proof

UserDan Licata (Wesleyan University).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 11 July 2017, 14:30-15:30

Isaac Newton Institute Seminar Series

tba

BPRW01 - Computer-aided mathematical proof

UserPeter LeFanu Lumsdaine (Stockholm University).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 11 July 2017, 16:00-17:00

Cambridge Statistics Discussion Group (CSDG)

Title to be confirmed

UserZoubin Ghahramani, Department of Engineering.

HouseCognition and Brain Sciences Unit, Chaucer Road, Cambridge.

ClockTuesday 10 October 2017, 19:15-21:30

Cambridge Statistics Discussion Group (CSDG)

Title to be confirmed

UserNicole Janz, Department of Sociology, University of Cambridge.

HouseVenue to be confirmed.

ClockThursday 01 March 2018, 19:15-21:30

Cambridge Statistics Discussion Group (CSDG)

Title to be confirmed

UserSylvia Richardson, MRC Biostatistics Unit.

HouseVenue to be confirmed.

ClockWednesday 28 March 2018, 19:15-21:30

Please see above for contact details for this list.

 

© 2006-2017 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity