University of Cambridge > Talks.cam > All CMS events

All CMS events

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

All events at the Centre for Mathematical Sciences. This list is used as a source for events displayed on the DAMTP website at http://www.damtp.cam.ac.uk/.

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; John Sutton; D. Finucane; Julie Bazin; Eva Myers; Owen Dunn; Alex Boggis; Dr. Frank Lee; Tom O'Shea. If you have a question about a specific talk, click on that talk to find its organiser.

81 upcoming talks and 13982 talks in the archive: show first 500.

Isaac Newton Institute Seminar Series

How to categorify the ring of integers localized at two

HTLW04 - Quantum topology and categorified representation theory

UserMikhail Khovanov (Columbia University).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 27 June 2017, 10:00-11:00

Isaac Newton Institute Seminar Series

Univalent type theory and modular formalisation of mathematics

BPR - Big proof

UserThierry Coquand (Göteborgs Universitet).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 27 June 2017, 11:00-12:00

Isaac Newton Institute Seminar Series

Introduction to p-dg 2-representation theory

HTLW04 - Quantum topology and categorified representation theory

UserVanessa Miemietz (University of East Anglia).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 27 June 2017, 11:30-12:30

Isaac Newton Institute Seminar Series

Using Agda to Explore Path-Oriented Models of Type Theory

BPR - Big proof

UserAndrew Pitts (University of Cambridge).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 27 June 2017, 13:30-14:30

Isaac Newton Institute Seminar Series

An Upsilon-like invariant from Khovanov-Rozansky homology

HTLW04 - Quantum topology and categorified representation theory

UserLukas Lewark (Universität Bern).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 27 June 2017, 13:30-14:30

Isaac Newton Institute Seminar Series

Representation theory and the Coulomb branch

HTLW04 - Quantum topology and categorified representation theory

UserBen Webster (University of Virginia).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 27 June 2017, 14:30-15:30

HEP phenomenology joint Cavendish-DAMTP seminar

MSSM: muon g-2, dark matter and cosmology

UserMatthew Talia (University of Sydney).

HouseB1.19, DAMTP.

ClockTuesday 27 June 2017, 15:00-16:30

Isaac Newton Institute Seminar Series

On colored link homologies

HTLW04 - Quantum topology and categorified representation theory

UserPaul Wedrich (Imperial College London).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 27 June 2017, 16:00-17:00

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

tba

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 on 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

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

Applied and Computational Analysis

Undecidability in geometry and topology

UserHenry Wilton (University of Cambridge).

HouseMR 14, CMS.

ClockThursday 14 September 2017, 15:00-16:00

Applied and Computational Analysis

Title to be confirmed

UserPhilipp Grohs (University of Vienna).

HouseMR 14, CMS.

ClockThursday 05 October 2017, 15:00-16: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

Mathematical Physics Seminar

TBA

User Andrea Fontanella (Surrey).

HouseMR11.

ClockTuesday 17 October 2017, 16:00-17:00

Lattice field theory informal seminars

Title to be confirmed

UserJozef Dudek (Jefferson Lab and College of William & Mary).

HouseMR11 (B1.39), Pavilion B, CMS.

ClockMonday 06 November 2017, 14:00-15:00

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