University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series

Isaac Newton Institute Seminar Series

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

The Isaac Newton Institute for Mathematical Sciences is a national and international visitor research institute. It runs research programmes on selected themes in mathematics and the mathematical sciences with applications over a wide range of science and technology. You can receive regular information by email on Institute seminars and events by subscribing to our mailing lists: follow the instructions at http://www.newton.cam.ac.uk/mailing.html. There are lists for each individual Institute programme.

Tell a friend about this list:

If you have a question about this list, please contact: Jonathan H N Chin; Chie Sibley Obata; Kathryn de Ridder; Clare Merritt; info@newton.ac.uk; Vincenzo Abete; ss917; ad864. If you have a question about a specific talk, click on that talk to find its organiser.

63 upcoming talks and 7265 talks in the archive: show first 500.

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

Effectivity and Complexity Results in Hilbert's 17th problem Marie-Françoise Roy Université de Rennes 1, France

BPR - Big proof

UserMarie-Françoise Roy (Université de Rennes 1; Université de Rennes 1).

HouseSeminar Room 2, Newton Institute.

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

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

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

Metaprogramming in Lean

BPR - Big proof

UserJeremy Avigad (Carnegie Mellon University).

HouseSeminar Room 2, Newton Institute.

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

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

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

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

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

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

A tutorial introduction to the PVS proof assistant

BPR - Big proof

UserNatarajan Shankar ().

HouseSeminar Room 2, Newton Institute.

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

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

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

Synthetic topology in Homotopy Type Theory for probabilistic programming

BPR - Big proof

UserBas Spitters (Aarhus Universitet).

HouseSeminar Room 2, Newton Institute.

ClockMonday 03 July 2017, 11:00-12:00

tba

SINW01 - Scalable statistical inference

UserSylvia Richardson (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

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

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

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

Proof Automation (coordinated by N. Shankar)

BPR - Big proof

User.

HouseSeminar Room 2, Newton Institute.

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

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

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

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

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

tba

SINW01 - Scalable statistical inference

UserJun Liu (Harvard University; Harvard University).

HouseSeminar Room 1, Newton Institute.

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

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

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

tba

SINW01 - Scalable statistical inference

UserKerrie Mengersen (Queensland University of Technology).

HouseSeminar Room 1, Newton Institute.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Unimath tutorial

BPR - Big proof

User.

HouseSeminar Room 2, Newton Institute.

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

tba

SINW01 - Scalable statistical inference

UserDavid Firth (University of Warwick).

HouseSeminar Room 1, Newton Institute.

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

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

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

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

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

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

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

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

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

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

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

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

Small Proofs

BPRW01 - Computer-aided mathematical proof

UserDan Licata (Wesleyan University).

HouseSeminar Room 1, Newton Institute.

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

tba

BPRW01 - Computer-aided mathematical proof

UserPeter LeFanu Lumsdaine (Stockholm University).

HouseSeminar Room 1, Newton Institute.

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

Please see above for contact details for this list.

 

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