|![[Search]](http://talks.cam.ac.uk/images/search.gif?1209136071)
|![[A-Z Index]](http://talks.cam.ac.uk/images/az.gif?1209136071)
|![[Contact]](http://talks.cam.ac.uk/images/contact.gif?1209136071)
||![[University of Cambridge]](http://talks.cam.ac.uk/images/identifier2.gif?1209136071){kind=small} |
COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. | ![[Talks.cam]](http://talks.cam.ac.uk/images/talkslogosmall.gif?1209136071) |
Isaac Newton Institute Seminar Series
Add to your list(s)
Send you e-mail reminders
Further detail
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. 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 geometryHTLW04 - Quantum topology and categorified representation theory
Effectivity and Complexity Results in Hilbert's 17th problem Marie-Françoise Roy Université de Rennes 1, FranceBPR - Big proof
Categorical diagonalizationHTLW04 - Quantum topology and categorified representation theory
2-Verma modules and the Khovanov-Rozansky link homologiesHTLW04 - Quantum topology and categorified representation theory
Metaprogramming in LeanBPR - Big proof
Non-multiplicative TQFTs and diagrammatic categorifications of the polynomial ringHTLW04 - Quantum topology and categorified representation theory
Some webs and q-Howe dualities in types BCDHTLW04 - Quantum topology and categorified representation theory
Towards a categorical boson-fermion correspondenceHTLW04 - Quantum topology and categorified representation theory
HoTT research seminar (Coquand & Rijke)BPR - Big proof
Quantum Annular Link Homology via Trace FunctorHTLW04 - Quantum topology and categorified representation theory
A tutorial introduction to the PVS proof assistantBPR - Big proof
A tutorial introduction to AgdaBPR - Big proof
Left-orderability and 3-manifold groups: Rothschild LectureHTLW04 - Quantum topology and categorified representation theory
Synthetic topology in Homotopy Type Theory for probabilistic programmingBPR - Big proof
tbaSINW01 - Scalable statistical inference
Monte Carlo without rejectionSINW01 - Scalable statistical inference
Inference with approximate likelihoodsSINW01 - Scalable statistical inference
Proof Automation (coordinated by N. Shankar)BPR - Big proof
Scalable statistical inference with INLASINW01 - Scalable statistical inference
Variational, Hamiltonian and Symplectic Perspectives on AccelerationSINW01 - Scalable statistical inference
Unbiased approximations of products of expectationsSINW01 - Scalable statistical inference
Comparing Consensus Monte Carlo Strategies for Distributed Bayesian ComputationSINW01 - Scalable statistical inference
tbaSINW01 - Scalable statistical inference
Coresets for scalable Bayesian logistic regressionSINW01 - Scalable statistical inference
Designing efficient composite likelihoods to model temporal and spatial variation in disease incidenceSINW01 - Scalable statistical inference
tbaSINW01 - Scalable statistical inference
Big Proof and Education (coordinated by Jeremy Avigad)BPR - Big proof
Category theory and functional programming for scalable statistical modelling and computational inferenceSINW01 - Scalable statistical inference
Asymptotics of Approximate Bayesian ComputationSINW01 - Scalable statistical inference
Validating approximate Bayesian computation on posterior convergenceSINW01 - Scalable statistical inference
Kinetic energy choice in Hamiltonian/hybrid Monte CarloSINW01 - Scalable statistical inference
On the ordering of some nonreversible Markov chain and Markov process Monte Carlo methodsSINW01 - Scalable statistical inference
Exact Bayesian Inference for Big Data: Single- and Multi-Core ApproachesSINW01 - Scalable statistical inference
Optimisation and complexity for Gibbs samplers for hierarchical and crossed-effect modelsSINW01 - Scalable statistical inference
Fast Bayesian Boolean Matrix FactorisationSINW01 - Scalable statistical inference
Social Proof Seminar (coordinated by Fenner Tanswell)BPR - Big proof
Towards Encrypted Inference for Arbitrary ModelsSINW01 - Scalable statistical inference
Hierarchy-preserving regularization solution paths for identifying interactions in high dimensional dataSINW01 - Scalable statistical inference
Mobile Apps and Machine Learning for Improving HealthcareSINW01 - Scalable statistical inference
Detecting radiological anomaliesSINW01 - Scalable statistical inference
Community recovery in weighted stochastic block modelsSINW01 - Scalable statistical inference
Importance sampling type estimators based on approximate marginal Markov chain Monte Carlo and exact approximationSINW01 - Scalable statistical inference
The Correlated Pseudo-Marginal MethodSINW01 - Scalable statistical inference
Scalable Monte Carlo inference for state-space modelsSINW01 - Scalable statistical inference
Nominal applications of the classifying space of the finitary permutation groupBPR - Big proof
The Discrete Bouncy Particle SamplerSINW01 - Scalable statistical inference
Interpretation of the Calculus of Constructions in dictosesBPR - Big proof
Langevin MCMC: theory and methodsSINW01 - Scalable statistical inference
Unimath tutorialBPR - Big proof
tbaSINW01 - Scalable statistical inference
Exact Sampling for Multivariate DiffusionsSINW01 - Scalable statistical inference
Asymptotic Properties of Approximate Bayesian ComputationSINW01 - Scalable statistical inference
An Industrially Useful ProverBPR - Big proof
International Knowledge Management TrustBPR - Big proof
Big ConjecturesBPRW01 - Computer-aided mathematical proof
tbaBPRW01 - Computer-aided mathematical proof
Proof Assistants: From Symbolic Logic To Real Mathematics?BPRW01 - Computer-aided mathematical proof
The social machine of mathematicsBPRW01 - Computer-aided mathematical proof
Impredicative encodings in HoTTBPRW01 - Computer-aided mathematical proof
Logic in univalent type theoryBPRW01 - Computer-aided mathematical proof
Homotopy Type Theory in LeanBPRW01 - Computer-aided mathematical proof
Small ProofsBPRW01 - Computer-aided mathematical proof
tbaBPRW01 - Computer-aided mathematical proof
Please see above for contact details for this list. |
Other listsBioengineering Seminar Series Bullard Laboratories Wednesday Seminars Directions in Research TalksOther talksHierarchy-preserving regularization solution paths for identifying interactions in high dimensional data Inherent environmentally mediated transmissible RNA pathway in Honey bees tba Optical Networking for Australian research & the SKA Langevin MCMC: theory and methods The roles of exciton and molecular diffusion in real-time sensing |
Andrei Negut (Massachusetts Institute of Technology).
Wednesday 28 June 2017, 10:00-11:00