|![[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) |
School of Physical Sciences
Add to your list(s)
Send you e-mail reminders
Further detail
This is a superlist combining all those seminars on talks.cam taking place in one of the Departments of the School of Physical sciences, plus occasional other talks which would be of significant interest to researchers in the School. If you would like your talk or list included please contact Duncan (drs45) If you have a question about this list, please contact: Duncan Simpson. If you have a question about a specific talk, click on that talk to find its organiser. 86 upcoming talks and 17311 talks in the archive: show first 500. Isaac Newton Institute Seminar Series 2-Verma modules and the Khovanov-Rozansky link homologiesHTLW04 - Quantum topology and categorified representation theory
Isaac Newton Institute Seminar Series Metaprogramming in LeanBPR - Big proof
Isaac Newton Institute Seminar Series Non-multiplicative TQFTs and diagrammatic categorifications of the polynomial ringHTLW04 - Quantum topology and categorified representation theory
Isaac Newton Institute Seminar Series Some webs and q-Howe dualities in types BCDHTLW04 - Quantum topology and categorified representation theory
Isaac Newton Institute Seminar Series Towards a categorical boson-fermion correspondenceHTLW04 - Quantum topology and categorified representation theory
Materials Chemistry Research Interest Group Correlation between reflected and transmitted light in scattering media
Isaac Newton Institute Seminar Series HoTT research seminar (Coquand & Rijke)BPR - Big proof
Isaac Newton Institute Seminar Series Quantum Annular Link Homology via Trace FunctorHTLW04 - Quantum topology and categorified representation theory
Isaac Newton Institute Seminar Series A tutorial introduction to the PVS proof assistantBPR - Big proof
Isaac Newton Institute Seminar Series A tutorial introduction to AgdaBPR - Big proof
Isaac Newton Institute Seminar Series Left-orderability and 3-manifold groups: Rothschild LectureHTLW04 - Quantum topology and categorified representation theory
Isaac Newton Institute Seminar Series Synthetic topology in Homotopy Type Theory for probabilistic programmingBPR - Big proof
Exploring complexity in seabird foraging behaviourIf external to BAS, please email the organiser in advance to gain access to the building
Isaac Newton Institute Seminar Series Data compression with guaranteesSINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series Monte Carlo without rejectionSINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series Inference with approximate likelihoodsSINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series Proof Automation (coordinated by N. Shankar)BPR - Big proof
Isaac Newton Institute Seminar Series Scalable statistical inference with INLASINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series Variational, Hamiltonian and Symplectic Perspectives on AccelerationSINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series Unbiased approximations of products of expectationsSINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series Comparing Consensus Monte Carlo Strategies for Distributed Bayesian ComputationSINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series tbaSINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series Coresets for scalable Bayesian logistic regressionSINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series Designing efficient composite likelihoods to model temporal and spatial variation in disease incidenceSINW01 - Scalable statistical inference
TBD
Isaac Newton Institute Seminar Series tbaSINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series Big Proof and Education (coordinated by Jeremy Avigad)BPR - Big proof
Isaac Newton Institute Seminar Series Category theory and functional programming for scalable statistical modelling and computational inferenceSINW01 - Scalable statistical inference
The Laplacian on some finitely ramified self-conformal circle packing fractals and Weyl's asymptotics for its eigenvalues
Isaac Newton Institute Seminar Series Asymptotics of Approximate Bayesian ComputationSINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series Validating approximate Bayesian computation on posterior convergenceSINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series Kinetic energy choice in Hamiltonian/hybrid Monte CarloSINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series On the ordering of some nonreversible Markov chain and Markov process Monte Carlo methodsSINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series Exact Bayesian Inference for Big Data: Single- and Multi-Core ApproachesSINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series Optimisation and complexity for Gibbs samplers for hierarchical and crossed-effect modelsSINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series Fast Bayesian Boolean Matrix FactorisationSINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series Social Proof Seminar (coordinated by Fenner Tanswell)BPR - Big proof
Isaac Newton Institute Seminar Series Towards Encrypted Inference for Arbitrary ModelsSINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series Hierarchy-preserving regularization solution paths for identifying interactions in high dimensional dataSINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series Mobile Apps and Machine Learning for Improving HealthcareSINW01 - Scalable statistical inference
Soundscape ecology: what sound can tell us about ecological functioningIf external to BAS, please email the organiser in advance to gain access to the building
Isaac Newton Institute Seminar Series Detecting radiological anomaliesSINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series Industrial Use of a Mechanical Theorem ProverBPR - Big proof
Isaac Newton Institute Seminar Series Community recovery in weighted stochastic block modelsSINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series Importance sampling type estimators based on approximate marginal Markov chain Monte Carlo and exact approximationSINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series The Correlated Pseudo-Marginal MethodSINW01 - Scalable statistical inference
The roles of exciton and molecular diffusion in real-time sensing
Isaac Newton Institute Seminar Series Scalable Monte Carlo inference for state-space modelsSINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series Nominal applications of the classifying space of the finitary permutation groupBPR - Big proof
Isaac Newton Institute Seminar Series The Discrete Bouncy Particle SamplerSINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series Interpretation of the Calculus of Constructions in dictosesBPR - Big proof
Isaac Newton Institute Seminar Series Langevin MCMC: theory and methodsSINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series Unimath tutorialBPR - Big proof
Isaac Newton Institute Seminar Series tbaSINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series Exact Sampling for Multivariate DiffusionsSINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series Asymptotic Properties of Approximate Bayesian ComputationSINW01 - Scalable statistical inference
Isaac Newton Institute Seminar Series An Industrially Useful ProverBPR - Big proof
Isaac Newton Institute Seminar Series International Knowledge Management TrustBPR - Big proof
Isaac Newton Institute Seminar Series Big ConjecturesBPRW01 - Computer-aided mathematical proof
Isaac Newton Institute Seminar Series tbaBPRW01 - Computer-aided mathematical proof
Isaac Newton Institute Seminar Series Proof Assistants: From Symbolic Logic To Real Mathematics?BPRW01 - Computer-aided mathematical proof
Synthetic Chemistry Research Interest Group Applications of the (4+3) cycloaddition of Epoxy Enolsilanes to the synthesis of cortistatin A and himandrine
Isaac Newton Institute Seminar Series The social machine of mathematicsBPRW01 - Computer-aided mathematical proof
Isaac Newton Institute Seminar Series Impredicative encodings in HoTTBPRW01 - Computer-aided mathematical proof
Isaac Newton Institute Seminar Series Logic in univalent type theoryBPRW01 - Computer-aided mathematical proof
Isaac Newton Institute Seminar Series Homotopy Type Theory in LeanBPRW01 - Computer-aided mathematical proof
Isaac Newton Institute Seminar Series Small ProofsBPRW01 - Computer-aided mathematical proof
Isaac Newton Institute Seminar Series tbaBPRW01 - Computer-aided mathematical proof
Isaac Newton Institute Seminar Series Formally Verified Approximations of Definite IntegralsBPRW01 - Computer-aided mathematical proof
Isaac Newton Institute Seminar Series Metaprogramming with Dependent Type TheoryBPRW01 - Computer-aided mathematical proof
Isaac Newton Institute Seminar Series Hammers and Model Finders, and BeyondBPRW01 - Computer-aided mathematical proof
Isaac Newton Institute Seminar Series Mathematical Knowledge at ScaleBPRW01 - Computer-aided mathematical proof
Isaac Newton Institute Seminar Series Everything's Bigger in Texas: ``The Largest Math Proof Ever''BPRW01 - Computer-aided mathematical proof
Statistics Clinic Summer 2017 - I
Biological Chemistry Research Interest Group TBC
British Antarctic Survey - Polar Oceans seminar series Title to be confirmedIf external to BAS, please email the organiser in advance to gain access to the building
Statistics Clinic Summer 2017 - II
Statistics Clinic Summer 2017 - III
Seminars on Quantitative Biology @ CRUK Cambridge Institute To be confirmedAll people external to CRUK CI needs to be booked as visitors. Please contact Kamila at least 24 hours prior the talk.Thank you.
Seminars on Quantitative Biology @ CRUK Cambridge Institute Title to be confirmedAll people external to CRUK CI needs to be booked as visitors. Please contact Kamila at least 24 hours prior the talk.Thank you.
Surfaces, Microstructure and Fracture Group Scale and anisotropic effects in necking of metallic tensile specimens
Differential Geometry and Topology Seminar Hypersymplectic structures on 4-manifolds and the G2 Laplacian flow
Title to be confirmed
Surfaces, Microstructure and Fracture Group Direct measurements of dynamic granular compaction at the mesoscale using synchrotron X-ray radiography
Seminars on Quantitative Biology @ CRUK Cambridge Institute Inferring the Evolutionary History of Cancers: Statistical Methods and ApplicationsAll people external to CRUK CI needs to be booked as visitors. Please contact Kamila at least 24 hours prior the talk.Thank you.
Please see above for contact details for this list. |
Other listsThinking Society IEEE (Institute of Electrical and Electronics Engineers) Talks Cosmology listsOther talksKatie Field - Title to be confirmed Introduction to Wikidata Graphene For Satellites tba Evidence is Not Enough: Towards a democratically legitimate role for evidence in health policymaking tba |
Pedro Vaz (Université Catholique de Louvain ).
Thursday 29 June 2017, 10:00-11:00