COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |
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 Pedro Vaz (Université Catholique de Louvain ). Seminar Room 1, Newton Institute. Thursday 29 June 2017, 10:00-11:00 Isaac Newton Institute Seminar Series Metaprogramming in LeanBPR - Big proof Jeremy Avigad (Carnegie Mellon University). Seminar Room 2, Newton Institute. Thursday 29 June 2017, 11:00-12:00 Isaac Newton Institute Seminar Series Non-multiplicative TQFTs and diagrammatic categorifications of the polynomial ringHTLW04 - Quantum topology and categorified representation theory Radmila Sazdanovic (North Carolina State University). Seminar Room 1, Newton Institute. Thursday 29 June 2017, 11:30-12:30 Isaac Newton Institute Seminar Series Some webs and q-Howe dualities in types BCDHTLW04 - Quantum topology and categorified representation theory Daniel Tubbenhauer (Universität Bonn). Seminar Room 1, Newton Institute. Thursday 29 June 2017, 13:30-14:30 Isaac Newton Institute Seminar Series Towards a categorical boson-fermion correspondenceHTLW04 - Quantum topology and categorified representation theory Yian Tian (Tsinghua University). Seminar Room 1, Newton Institute. Thursday 29 June 2017, 14:30-15:30 Materials Chemistry Research Interest Group Correlation between reflected and transmitted light in scattering mediaDr. Jacopo Bertolotti, University of Exeter. Pfizer Lecture Theatre, Department of Chemistry, Lensfield Road, Cambridge. Thursday 29 June 2017, 15:30-16:30 Isaac Newton Institute Seminar Series HoTT research seminar (Coquand & Rijke)BPR - Big proof Andrew Pitts (University of Cambridge). Seminar Room 2, Newton Institute. Thursday 29 June 2017, 15:30-17:30 Isaac Newton Institute Seminar Series Quantum Annular Link Homology via Trace FunctorHTLW04 - Quantum topology and categorified representation theory Anna Beliakova (Universität Zürich). Seminar Room 1, Newton Institute. Thursday 29 June 2017, 16:00-17:00 Isaac Newton Institute Seminar Series A tutorial introduction to the PVS proof assistantBPR - Big proof Natarajan Shankar (). Seminar Room 2, Newton Institute. Friday 30 June 2017, 10:00-11:00 Isaac Newton Institute Seminar Series A tutorial introduction to AgdaBPR - Big proof Andreas Abel (Göteborgs Universitet). Seminar Room 2, Newton Institute. Friday 30 June 2017, 11:00-12:00 Isaac Newton Institute Seminar Series Left-orderability and 3-manifold groups: Rothschild LectureHTLW04 - Quantum topology and categorified representation theory Cameron Gordon (University of Texas at Austin). Seminar Room 1, Newton Institute. Friday 30 June 2017, 15:00-16:00 Isaac Newton Institute Seminar Series Synthetic topology in Homotopy Type Theory for probabilistic programmingBPR - Big proof Bas Spitters (Aarhus Universitet). Seminar Room 2, Newton Institute. Monday 03 July 2017, 11:00-12:00 Exploring complexity in seabird foraging behaviourIf external to BAS, please email the organiser in advance to gain access to the building Xavier Meyer, BAS . British Antarctic Survey, Innovation Centre, Seminar Room 1. Monday 03 July 2017, 11:00-12:00 Isaac Newton Institute Seminar Series Data compression with guaranteesSINW01 - Scalable statistical inference Sylvia Richardson (University of Cambridge). Seminar Room 1, Newton Institute. Monday 03 July 2017, 13:30-14:15 Isaac Newton Institute Seminar Series Monte Carlo without rejectionSINW01 - Scalable statistical inference Alexandre Bouchard (University of British Columbia). Seminar Room 1, Newton Institute. Monday 03 July 2017, 14:15-15:00 Isaac Newton Institute Seminar Series Inference with approximate likelihoodsSINW01 - Scalable statistical inference Helen Ogden (University of Southampton). Seminar Room 1, Newton Institute. Monday 03 July 2017, 15:30-16:15 Isaac Newton Institute Seminar Series Proof Automation (coordinated by N. Shankar)BPR - Big proof . Seminar Room 2, Newton Institute. Monday 03 July 2017, 15:30-17:30 Isaac Newton Institute Seminar Series Scalable statistical inference with INLASINW01 - Scalable statistical inference Havard Rue (Norwegian University of Science and Technology). Seminar Room 1, Newton Institute. Monday 03 July 2017, 16:15-17:00 Isaac Newton Institute Seminar Series Variational, Hamiltonian and Symplectic Perspectives on AccelerationSINW01 - Scalable statistical inference Michael Jordan (University of California, Berkeley). Seminar Room 1, Newton Institute. Tuesday 04 July 2017, 09:00-09:45 Isaac Newton Institute Seminar Series Unbiased approximations of products of expectationsSINW01 - Scalable statistical inference Anthony Lee (University of Warwick). Seminar Room 1, Newton Institute. Tuesday 04 July 2017, 09:45-10:30 Isaac Newton Institute Seminar Series Comparing Consensus Monte Carlo Strategies for Distributed Bayesian ComputationSINW01 - Scalable statistical inference Steven Scott (Google). Seminar Room 1, Newton Institute. Tuesday 04 July 2017, 11:00-11:45 Isaac Newton Institute Seminar Series tbaSINW01 - Scalable statistical inference Jun Liu (Harvard University; Harvard University). Seminar Room 1, Newton Institute. Tuesday 04 July 2017, 11:45-12:30 Isaac Newton Institute Seminar Series Coresets for scalable Bayesian logistic regressionSINW01 - Scalable statistical inference Tamara Broderick (Massachusetts Institute of Technology). Seminar Room 1, Newton Institute. Tuesday 04 July 2017, 13:30-14:15 Isaac Newton Institute Seminar Series Designing efficient composite likelihoods to model temporal and spatial variation in disease incidenceSINW01 - Scalable statistical inference Cristiano Varin (Università Cà Foscari di Venezia). Seminar Room 1, Newton Institute. Tuesday 04 July 2017, 14:15-15:00 TBDProfessor Frank Wuerthner, University of Wurzburg. Rayleigh seminar room, 2nd floor, Maxwell Building, Cavendish laboratory. Tuesday 04 July 2017, 14:30-15:30 Isaac Newton Institute Seminar Series tbaSINW01 - Scalable statistical inference Kerrie Mengersen (Queensland University of Technology). Seminar Room 1, Newton Institute. Tuesday 04 July 2017, 15:30-16:15 Isaac Newton Institute Seminar Series Big Proof and Education (coordinated by Jeremy Avigad)BPR - Big proof . Seminar Room 2, Newton Institute. Tuesday 04 July 2017, 15:30-17:30 Isaac Newton Institute Seminar Series Category theory and functional programming for scalable statistical modelling and computational inferenceSINW01 - Scalable statistical inference Darren Wilkinson (Newcastle University). Seminar Room 1, Newton Institute. Tuesday 04 July 2017, 16:15-17:00 The Laplacian on some finitely ramified self-conformal circle packing fractals and Weyl's asymptotics for its eigenvaluesNaotaka Kajino (Kobe University, Japan). MR12, CMS, Wilberforce Road, Cambridge, CB3 0WB. Tuesday 04 July 2017, 16:15-17:15 Isaac Newton Institute Seminar Series Asymptotics of Approximate Bayesian ComputationSINW01 - Scalable statistical inference Paul Fearnhead (Lancaster University). Seminar Room 1, Newton Institute. Wednesday 05 July 2017, 09:00-09:45 Isaac Newton Institute Seminar Series Validating approximate Bayesian computation on posterior convergenceSINW01 - Scalable statistical inference Wentao Li (Lancaster University). Seminar Room 1, Newton Institute. Wednesday 05 July 2017, 09:45-10:30 Isaac Newton Institute Seminar Series Kinetic energy choice in Hamiltonian/hybrid Monte CarloSINW01 - Scalable statistical inference Sam Livingstone (University of Bristol). Seminar Room 1, Newton Institute. Wednesday 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 methodsSINW01 - Scalable statistical inference Christophe Andrieu (University of Bristol). Seminar Room 1, Newton Institute. Wednesday 05 July 2017, 11:45-12:30 Isaac Newton Institute Seminar Series Exact Bayesian Inference for Big Data: Single- and Multi-Core ApproachesSINW01 - Scalable statistical inference Murray Pollock (University of Warwick). Seminar Room 1, Newton Institute. Wednesday 05 July 2017, 13:30-14:15 Isaac Newton Institute Seminar Series Optimisation and complexity for Gibbs samplers for hierarchical and crossed-effect modelsSINW01 - Scalable statistical inference Gareth Roberts (University of Warwick). Seminar Room 1, Newton Institute. Wednesday 05 July 2017, 14:15-15:00 Isaac Newton Institute Seminar Series Fast Bayesian Boolean Matrix FactorisationSINW01 - Scalable statistical inference Chris Holmes (University of Oxford). Seminar Room 1, Newton Institute. Wednesday 05 July 2017, 15:30-16:15 Isaac Newton Institute Seminar Series Social Proof Seminar (coordinated by Fenner Tanswell)BPR - Big proof . Seminar Room 2, Newton Institute. Wednesday 05 July 2017, 15:30-17:30 Isaac Newton Institute Seminar Series Towards Encrypted Inference for Arbitrary ModelsSINW01 - Scalable statistical inference Louis Aslett (University of Oxford). Seminar Room 1, Newton Institute. Wednesday 05 July 2017, 16:15-17:00 Isaac Newton Institute Seminar Series Hierarchy-preserving regularization solution paths for identifying interactions in high dimensional dataSINW01 - Scalable statistical inference Helen Zhang (University of Arizona). Seminar Room 1, Newton Institute. Thursday 06 July 2017, 09:00-09:45 Isaac Newton Institute Seminar Series Mobile Apps and Machine Learning for Improving HealthcareSINW01 - Scalable statistical inference Katherine Heller (Duke University). Seminar Room 1, Newton Institute. Thursday 06 July 2017, 09:45-10:30 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 Rachel Buxton, Colorado State University. British Antarctic Survey, Room 330B. Thursday 06 July 2017, 10:00-11:00 Isaac Newton Institute Seminar Series Detecting radiological anomaliesSINW01 - Scalable statistical inference James Scott (University of Texas at Austin). Seminar Room 1, Newton Institute. Thursday 06 July 2017, 11:00-11:45 Isaac Newton Institute Seminar Series Industrial Use of a Mechanical Theorem ProverBPR - Big proof J Strother Moore (University of Texas at Austin; University of Edinburgh). Seminar Room 2, Newton Institute. Thursday 06 July 2017, 11:00-12:00 Isaac Newton Institute Seminar Series Community recovery in weighted stochastic block modelsSINW01 - Scalable statistical inference Po-Ling Loh (University of Wisconsin-Madison). Seminar Room 1, Newton Institute. Thursday 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 approximationSINW01 - Scalable statistical inference Matti Vihola (University of Jyväskylä ). Seminar Room 1, Newton Institute. Thursday 06 July 2017, 13:30-14:15 Isaac Newton Institute Seminar Series The Correlated Pseudo-Marginal MethodSINW01 - Scalable statistical inference Arnaud Doucet (University of Oxford). Seminar Room 1, Newton Institute. Thursday 06 July 2017, 14:15-15:00 The roles of exciton and molecular diffusion in real-time sensingDr. Paul Shaw, University of Queensland. Rayleigh seminar room, 2nd floor, Maxwell Building, Cavendish laboratory. Thursday 06 July 2017, 14:30-15:30 Isaac Newton Institute Seminar Series Scalable Monte Carlo inference for state-space modelsSINW01 - Scalable statistical inference Sinan Yildirim (Sabanci University). Seminar Room 1, Newton Institute. Thursday 06 July 2017, 15:30-16:15 Isaac Newton Institute Seminar Series Nominal applications of the classifying space of the finitary permutation groupBPR - Big proof Ulrik Buchholtz (Technische Universität Darmstadt). Seminar Room 2, Newton Institute. Thursday 06 July 2017, 15:30-16:30 Isaac Newton Institute Seminar Series The Discrete Bouncy Particle SamplerSINW01 - Scalable statistical inference Chris Sherlock (Lancaster University). Seminar Room 1, Newton Institute. Thursday 06 July 2017, 16:15-17:00 Isaac Newton Institute Seminar Series Interpretation of the Calculus of Constructions in dictosesBPR - Big proof Martin Hofmann (Ludwig-Maximilians-Universität München). Seminar Room 2, Newton Institute. Thursday 06 July 2017, 16:30-17:30 Isaac Newton Institute Seminar Series Langevin MCMC: theory and methodsSINW01 - Scalable statistical inference Eric François Moulines (Télécom ParisTech). Seminar Room 1, Newton Institute. Friday 07 July 2017, 09:00-09:45 Isaac Newton Institute Seminar Series Unimath tutorialBPR - Big proof . Seminar Room 2, Newton Institute. Friday 07 July 2017, 09:00-10:00 Isaac Newton Institute Seminar Series tbaSINW01 - Scalable statistical inference David Firth (University of Warwick). Seminar Room 1, Newton Institute. Friday 07 July 2017, 09:45-10:30 Isaac Newton Institute Seminar Series Exact Sampling for Multivariate DiffusionsSINW01 - Scalable statistical inference Jose Blanchet (Columbia University; Stanford University). Seminar Room 1, Newton Institute. Friday 07 July 2017, 11:00-11:45 Isaac Newton Institute Seminar Series Asymptotic Properties of Approximate Bayesian ComputationSINW01 - Scalable statistical inference Christian Robert (CNRS & Université Paris-Dauphine ). Seminar Room 1, Newton Institute. Friday 07 July 2017, 11:45-12:30 Isaac Newton Institute Seminar Series An Industrially Useful ProverBPR - Big proof J Strother Moore (University of Texas at Austin; University of Edinburgh). Seminar Room 2, Newton Institute. Friday 07 July 2017, 13:00-14:00 Isaac Newton Institute Seminar Series International Knowledge Management TrustBPR - Big proof Stephen Watt (University of Waterloo); Patrick Ion (University of Michigan). Seminar Room 1, Newton Institute. Sunday 09 July 2017, 14:00-17:00 Isaac Newton Institute Seminar Series Big ConjecturesBPRW01 - Computer-aided mathematical proof Thomas Hales (University of Pittsburgh). Seminar Room 1, Newton Institute. Monday 10 July 2017, 10:00-11:00 Isaac Newton Institute Seminar Series tbaBPRW01 - Computer-aided mathematical proof Vladimir Voevodsky (Institute for Advanced Study, Princeton). Seminar Room 1, Newton Institute. Monday 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 Larry Paulson (University of Cambridge). Seminar Room 1, Newton Institute. Monday 10 July 2017, 14:30-15:30 Synthetic Chemistry Research Interest Group Applications of the (4+3) cycloaddition of Epoxy Enolsilanes to the synthesis of cortistatin A and himandrineProfessor Pauline Chiu, Hong Kong University. Unilever Lecture Theatre, Department of Chemistry, Lensfield Road, University of Cambridge, CB2 1EW. Monday 10 July 2017, 16:00-17:00 Isaac Newton Institute Seminar Series The social machine of mathematicsBPRW01 - Computer-aided mathematical proof Ursula Martin (University of Oxford). Seminar Room 1, Newton Institute. Monday 10 July 2017, 16:00-17:00 Isaac Newton Institute Seminar Series Impredicative encodings in HoTTBPRW01 - Computer-aided mathematical proof Steve Awodey (Carnegie Mellon University). Seminar Room 1, Newton Institute. Tuesday 11 July 2017, 09:00-10:00 Isaac Newton Institute Seminar Series Logic in univalent type theoryBPRW01 - Computer-aided mathematical proof Martin Escardo (University of Birmingham; University of Birmingham). Seminar Room 1, Newton Institute. Tuesday 11 July 2017, 10:00-11:00 Isaac Newton Institute Seminar Series Homotopy Type Theory in LeanBPRW01 - Computer-aided mathematical proof Floris van Doorn (Carnegie Mellon University). Seminar Room 1, Newton Institute. Tuesday 11 July 2017, 11:30-12:30 Isaac Newton Institute Seminar Series Small ProofsBPRW01 - Computer-aided mathematical proof Dan Licata (Wesleyan University). Seminar Room 1, Newton Institute. Tuesday 11 July 2017, 14:30-15:30 Isaac Newton Institute Seminar Series tbaBPRW01 - Computer-aided mathematical proof Peter LeFanu Lumsdaine (Stockholm University). Seminar Room 1, Newton Institute. Tuesday 11 July 2017, 16:00-17:00 Isaac Newton Institute Seminar Series Formally Verified Approximations of Definite IntegralsBPRW01 - Computer-aided mathematical proof Assia Mahboubi (INRIA Saclay - Île-de-France). Seminar Room 1, Newton Institute. Wednesday 12 July 2017, 09:00-10:00 Isaac Newton Institute Seminar Series Metaprogramming with Dependent Type TheoryBPRW01 - Computer-aided mathematical proof Leonardo de Moura (Microsoft Research). Seminar Room 1, Newton Institute. Wednesday 12 July 2017, 10:00-11:00 Isaac Newton Institute Seminar Series Hammers and Model Finders, and BeyondBPRW01 - Computer-aided mathematical proof Jasmin Blanchette (INRIA Nancy - Grand Est; Max-Planck-Institut für Informatik, Saarbrücken). Seminar Room 1, Newton Institute. Wednesday 12 July 2017, 11:30-12:30 Isaac Newton Institute Seminar Series Mathematical Knowledge at ScaleBPRW01 - Computer-aided mathematical proof Stephen Watt (University of Waterloo). Seminar Room 1, Newton Institute. Wednesday 12 July 2017, 14:30-15:30 Isaac Newton Institute Seminar Series Everything's Bigger in Texas: ``The Largest Math Proof Ever''BPRW01 - Computer-aided mathematical proof Marijn Heule (University of Texas at Austin). Seminar Room 1, Newton Institute. Wednesday 12 July 2017, 16:00-17:00 Statistics Clinic Summer 2017 - ISpeaker to be confirmed. Centre for Mathematical Sciences, Meeting Room 4 (centre building, basement). Wednesday 12 July 2017, 16:30-18:00 Biological Chemistry Research Interest Group TBCDr Justin Chalker. Wolfson Lecture Theatre, Department of Chemistry. Thursday 13 July 2017, 12:00-13:00 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 Alessandro Silvano, University of Tasmania. British Antarctic Survey, Innovation Centre, Seminar Room 2. Wednesday 19 July 2017, 11:00-12:00 Statistics Clinic Summer 2017 - IISpeaker to be confirmed. Centre for Mathematical Sciences, Meeting Room 4 (centre building, basement). Wednesday 23 August 2017, 16:30-18:00 Statistics Clinic Summer 2017 - IIISpeaker to be confirmed. Centre for Mathematical Sciences, Meeting Room 4 (centre building, basement). Wednesday 20 September 2017, 16:30-18:00 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. Prof. Tomas Marques Bonet. Monday 25 September 2017, 16:00-17:00 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. Dr Timothy Errington. CRUK CI Lecture Theatre (Room 001). Monday 02 October 2017, 16:00-17:00 Surfaces, Microstructure and Fracture Group Scale and anisotropic effects in necking of metallic tensile specimensTom Dunnett, Department of Mechanical Engineering, Imperial College, London. Mott Seminar Room, Cavendish Laboratory. Thursday 12 October 2017, 16:00-17:00 Differential Geometry and Topology Seminar Hypersymplectic structures on 4-manifolds and the G2 Laplacian flowJoel Fine, ULB. MR13. Wednesday 18 October 2017, 16:00-17:00 Title to be confirmedProf. Andrew Mackenzie. TCM Seminar Room, Cavendish Laboratory. Thursday 19 October 2017, 14:15-15:15 Surfaces, Microstructure and Fracture Group Direct measurements of dynamic granular compaction at the mesoscale using synchrotron X-ray radiographyMichael Rutherford, Institute of Shock Physics, Imperial College, London. Mott Seminar Room, Cavendish Laboratory. Thursday 09 November 2017, 16:00-17:00 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. Dr Andrew Roth, Ludwig Cancer Research, University of Oxford . Monday 27 November 2017, 16:00-17:00 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 |