University of Cambridge > Talks.cam > School of Physical Sciences

School of Physical Sciences

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

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)

Tell a friend about this list:

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

British Antarctic Survey

Exploring complexity in seabird foraging behaviour

If external to BAS, please email the organiser in advance to gain access to the building

UserXavier Meyer, BAS .

HouseBritish Antarctic Survey, Innovation Centre, Seminar Room 1.

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

Isaac Newton Institute Seminar Series

Data compression with guarantees

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

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

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

Optoelectronics Group

TBD

UserProfessor Frank Wuerthner, University of Wurzburg.

HouseRayleigh seminar room, 2nd floor, Maxwell Building, Cavendish laboratory.

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

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

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

British Antarctic Survey

Soundscape ecology: what sound can tell us about ecological functioning

If external to BAS, please email the organiser in advance to gain access to the building

UserRachel Buxton, Colorado State University.

HouseBritish Antarctic Survey, Room 330B.

ClockThursday 06 July 2017, 10:00-11:00

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

Industrial Use of a Mechanical Theorem Prover

BPR - Big proof

UserJ Strother Moore (University of Texas at Austin; University of Edinburgh).

HouseSeminar Room 2, Newton Institute.

ClockThursday 06 July 2017, 11:00-12:00

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

Isaac Newton Institute Seminar Series

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

Isaac Newton Institute Seminar Series

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

Isaac Newton Institute Seminar Series

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

Isaac Newton Institute Seminar Series

Small Proofs

BPRW01 - Computer-aided mathematical proof

UserDan Licata (Wesleyan University).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

tba

BPRW01 - Computer-aided mathematical proof

UserPeter LeFanu Lumsdaine (Stockholm University).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Formally Verified Approximations of Definite Integrals

BPRW01 - Computer-aided mathematical proof

UserAssia Mahboubi (INRIA Saclay - Île-de-France).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 12 July 2017, 09:00-10:00

Isaac Newton Institute Seminar Series

Metaprogramming with Dependent Type Theory

BPRW01 - Computer-aided mathematical proof

UserLeonardo de Moura (Microsoft Research).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 12 July 2017, 10:00-11:00

Isaac Newton Institute Seminar Series

Hammers and Model Finders, and Beyond

BPRW01 - Computer-aided mathematical proof

UserJasmin Blanchette (INRIA Nancy - Grand Est; Max-Planck-Institut für Informatik, Saarbrücken).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 12 July 2017, 11:30-12:30

Isaac Newton Institute Seminar Series

Mathematical Knowledge at Scale

BPRW01 - Computer-aided mathematical proof

UserStephen Watt (University of Waterloo).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 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

UserMarijn Heule (University of Texas at Austin).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 12 July 2017, 16:00-17:00

British Antarctic Survey - Polar Oceans seminar series

Title to be confirmed

If external to BAS, please email the organiser in advance to gain access to the building

UserAlessandro Silvano, University of Tasmania.

HouseBritish Antarctic Survey, Innovation Centre, Seminar Room 2.

ClockWednesday 19 July 2017, 11:00-12:00

Seminars on Quantitative Biology @ CRUK Cambridge Institute

To be confirmed

All people external to CRUK CI needs to be booked as visitors. Please contact Kamila at least 24 hours prior the talk.Thank you.

UserProf. Tomas Marques Bonet.

HouseCRUK CI Room 009/009A.

ClockMonday 25 September 2017, 16:00-17:00

Seminars on Quantitative Biology @ CRUK Cambridge Institute

Title to be confirmed

All people external to CRUK CI needs to be booked as visitors. Please contact Kamila at least 24 hours prior the talk.Thank you.

UserDr Timothy Errington.

HouseCRUK CI Lecture Theatre (Room 001).

ClockMonday 02 October 2017, 16:00-17:00

Surfaces, Microstructure and Fracture Group

Scale and anisotropic effects in necking of metallic tensile specimens

UserTom Dunnett, Department of Mechanical Engineering, Imperial College, London.

HouseMott Seminar Room, Cavendish Laboratory.

ClockThursday 12 October 2017, 16:00-17:00

Mathematical Physics Seminar

TBA

User Andrea Fontanella (Surrey).

HouseMR11.

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

Theory of Condensed Matter

Title to be confirmed

UserProf. Andrew Mackenzie.

HouseTCM Seminar Room, Cavendish Laboratory.

ClockThursday 19 October 2017, 14:15-15:15

Seminars on Quantitative Biology @ CRUK Cambridge Institute

Inferring the Evolutionary History of Cancers: Statistical Methods and Applications

All people external to CRUK CI needs to be booked as visitors. Please contact Kamila at least 24 hours prior the talk.Thank you.

UserDr Andrew Roth, Ludwig Cancer Research, University of Oxford .

HouseCRUK CI Room 215A/B.

ClockMonday 27 November 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