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.

152 upcoming talks and 17620 talks in the archive: show all (slow!).

Isaac Newton Institute Seminar Series

Deformable bodies in anisotropic fluids

GFSW01 - Form and deformation in solid and fluid mechanics

UserSaverio Spagnolie (University of Wisconsin-Madison).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 20 September 2017, 12:10-12:50

Isaac Newton Institute Seminar Series

Fluid and solid mechanics in active cellular processes

GFSW01 - Form and deformation in solid and fluid mechanics

UserMichael Shelley (New York University; Simons Foundation).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 20 September 2017, 11:30-12:10

Isaac Newton Institute Seminar Series

Unraveling hagfish slime

GFSW01 - Form and deformation in solid and fluid mechanics

UserJean-Luc Thiffeault (University of Wisconsin-Madison).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 20 September 2017, 10:20-11:00

Isaac Newton Institute Seminar Series

Packing problems, phyllotaxis and Fibonacci numbers

GFSW01 - Form and deformation in solid and fluid mechanics

UserDenis Weaire (Trinity College Dublin); Adil Mughal (Aberystwyth University).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 20 September 2017, 09:40-10:20

Isaac Newton Institute Seminar Series

Flexible tubes conveying fluid: geometric modeling, stability, and variational integrators

GFSW01 - Form and deformation in solid and fluid mechanics

UserFrançois Gay-Balmaz (CNRS - Ecole Normale Superieure Paris).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 20 September 2017, 09:00-09:40

Isaac Newton Institute Seminar Series

Coupling the Leidenfrost Effect and Elastic Deformations to Power Sustained Bouncing

GFSW01 - Form and deformation in solid and fluid mechanics

UserScott Waitukaitis (Universiteit Leiden; FOM Institute AMOLF).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 19 September 2017, 15:10-15:30

Isaac Newton Institute Seminar Series

Wave-induced collisions of thin floating disks

SIP - Mathematics of sea ice phenomena

UserLuke Bennetts (University of Adelaide).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 19 September 2017, 15:00-16:30

Isaac Newton Institute Seminar Series

Swelling and Shaping of Soft Structures

GFSW01 - Form and deformation in solid and fluid mechanics

UserDouglas Holmes (Boston University).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 19 September 2017, 14:50-15:10

Isaac Newton Institute Seminar Series

The planar elastica, stress, and material stress

GFSW01 - Form and deformation in solid and fluid mechanics

UserJames Hanna (Virginia Polytechnic Institute and State University).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 19 September 2017, 14:30-14:50

Isaac Newton Institute Seminar Series

Fluid Mechanics of Soft Robots and Actuators

GFSW01 - Form and deformation in solid and fluid mechanics

UserAmir Gat (Technion - Israel Institute of Technology).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 19 September 2017, 14:10-14:30

Isaac Newton Institute Seminar Series

Simulations of Pulsating Soft Corals

GFSW01 - Form and deformation in solid and fluid mechanics

UserShilpa Khatri (University of California, Merced).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 19 September 2017, 13:30-14:10

Isaac Newton Institute Seminar Series

Motility induced elongation of the vertebrate embryo

GFSW01 - Form and deformation in solid and fluid mechanics

UserIdo Regev (Ben-Gurion University).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 19 September 2017, 12:10-12:30

Isaac Newton Institute Seminar Series

How the elephant grabs with its trunk

GFSW01 - Form and deformation in solid and fluid mechanics

UserDavid Hu (Georgia Institute of Technology).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 19 September 2017, 11:30-12:10

Isaac Newton Institute Seminar Series

Flow-mediated synchronization of swimmers and rotors at the micron scale

GFSW01 - Form and deformation in solid and fluid mechanics

UserEva Kanso (University of Southern California; New York University).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 19 September 2017, 10:20-11:00

Isaac Newton Institute Seminar Series

Turing revisited: the chemo-mechanical bases of morphogenesis in soft living matter

GFSW01 - Form and deformation in solid and fluid mechanics

UserPasquale Ciarletta (Politecnico di Milano; CNRS (Centre national de la recherche scientifique)).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 19 September 2017, 09:40-10:20

Isaac Newton Institute Seminar Series

Indentations of plastic layers

GFSW01 - Form and deformation in solid and fluid mechanics

UserNeil Balmforth (University of British Columbia).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 19 September 2017, 09:00-09:40

Isaac Newton Institute Seminar Series

Microtubule Rings

GFSW01 - Form and deformation in solid and fluid mechanics

UserSimon Pearce (University of Manchester).

HouseSeminar Room 1, Newton Institute.

ClockMonday 18 September 2017, 15:10-15:30

Isaac Newton Institute Seminar Series

Form, flow, deformation, and transport in the embryonic lung

GFSW01 - Form and deformation in solid and fluid mechanics

UserSharon Lubkin (North Carolina State University).

HouseSeminar Room 1, Newton Institute.

ClockMonday 18 September 2017, 14:50-15:10

Isaac Newton Institute Seminar Series

The dynamics of a packed cell tissue

GFSW01 - Form and deformation in solid and fluid mechanics

UserMarina Ferreira (Imperial College London).

HouseSeminar Room 1, Newton Institute.

ClockMonday 18 September 2017, 14:30-14:50

Isaac Newton Institute Seminar Series

The Stokes-flow parachute of the dandelion fruit

GFSW01 - Form and deformation in solid and fluid mechanics

UserCathal Cummins (University of Edinburgh).

HouseSeminar Room 1, Newton Institute.

ClockMonday 18 September 2017, 14:10-14:30

Isaac Newton Institute Seminar Series

The transverse arch of human foot

GFSW01 - Form and deformation in solid and fluid mechanics

UserShreyas Mandre (Brown University).

HouseSeminar Room 1, Newton Institute.

ClockMonday 18 September 2017, 13:30-14:10

Isaac Newton Institute Seminar Series

Capturing gas in soft granular media

GFSW01 - Form and deformation in solid and fluid mechanics

UserSungyon Lee (University of Minnesota).

HouseSeminar Room 1, Newton Institute.

ClockMonday 18 September 2017, 12:10-12:30

Isaac Newton Institute Seminar Series

Some surprises in self-propulsion via self-deformation: snake scattering & supersmarticles

GFSW01 - Form and deformation in solid and fluid mechanics

UserDaniel Goldman (Georgia Institute of Technology).

HouseSeminar Room 1, Newton Institute.

ClockMonday 18 September 2017, 11:30-12:10

Isaac Newton Institute Seminar Series

Elastocapillarity: When surface tension deforms elastic solids

GFSW01 - Form and deformation in solid and fluid mechanics

UserJose Bico (ESPCI ParisTech ).

HouseSeminar Room 1, Newton Institute.

ClockMonday 18 September 2017, 10:20-11:00

Isaac Newton Institute Seminar Series

On the robustness of morphogenesis

GFSW01 - Form and deformation in solid and fluid mechanics

UserArezki Boudaoud ().

HouseSeminar Room 1, Newton Institute.

ClockMonday 18 September 2017, 09:40-10:20

Isaac Newton Institute Seminar Series

New insight from CryoSat-2 sea ice thickness for sea ice modelling

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserDavid Schroeder (University of Reading).

HouseSeminar Room 1, Newton Institute.

ClockFriday 15 September 2017, 17:00-17:20

Isaac Newton Institute Seminar Series

Using Arctic ice mass balance buoys for model evaluation

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserAlex West (Met Office).

HouseSeminar Room 1, Newton Institute.

ClockFriday 15 September 2017, 16:20-16:40

Isaac Newton Institute Seminar Series

Arctic Sea Ice Thickness Change

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserChristian Haas (Alfred-Wegener-Institut für Polar- und Meeresforschung (AWI); Universität Bremen ).

HouseSeminar Room 1, Newton Institute.

ClockFriday 15 September 2017, 16:00-16:20

Isaac Newton Institute Seminar Series

Statistics of the sea ice thickness distribution

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserPeter Wadhams (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

ClockFriday 15 September 2017, 14:50-15:30

Isaac Newton Institute Seminar Series

Challenges in estimating ocean surface stresses in sea ice covered Arctic and Antarctic regions

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserMichel Tsamados (University College London).

HouseSeminar Room 1, Newton Institute.

ClockFriday 15 September 2017, 14:30-14:50

Isaac Newton Institute Seminar Series

Atmospheric response to marginal-ice-zone drag parameterisation

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserIan Renfrew (University of East Anglia).

HouseSeminar Room 1, Newton Institute.

ClockFriday 15 September 2017, 14:10-14:30

Isaac Newton Institute Seminar Series

Integrating Observations and Models to Better Understand a Changing Arctic Sea Ice Cover

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserJulienne Stroeve (National Snow and Ice Data Center; National Snow and Ice Data Center).

HouseSeminar Room 1, Newton Institute.

ClockFriday 15 September 2017, 13:30-14:10

Isaac Newton Institute Seminar Series

How much should we believe correlations between Arctic cyclones and sea ice extent?

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserJamie Rae (Met Office).

HouseSeminar Room 1, Newton Institute.

ClockFriday 15 September 2017, 12:10-12:30

Isaac Newton Institute Seminar Series

Investigating future changes in the volume budget of the Arctic sea ice in a coupled climate model

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserAnn Keen (Met Office).

HouseSeminar Room 1, Newton Institute.

ClockFriday 15 September 2017, 11:50-12:10

Isaac Newton Institute Seminar Series

Winter-to-summer transition of Arctic sea ice breakup and floe size distribution in the Beaufort Sea

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserPhil Hwang (Scottish Association for Marine Science (SAMS)).

HouseSeminar Room 1, Newton Institute.

ClockFriday 15 September 2017, 11:30-11:50

Isaac Newton Institute Seminar Series

Waves, ice and ocean in the future projections of the Arctic and Southern oceans

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserYevgeny Aksenov (National Oceanography Centre, Southampton).

HouseSeminar Room 1, Newton Institute.

ClockFriday 15 September 2017, 11:10-11:30

Isaac Newton Institute Seminar Series

Impact of surface wave mixing on sea ice and mixed layer depth

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserStefanie Rynders (University of Southampton).

HouseSeminar Room 1, Newton Institute.

ClockFriday 15 September 2017, 10:20-10:40

Isaac Newton Institute Seminar Series

Relationship between sea ice deformation and rheology

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserHarold Heorton (University College London).

HouseSeminar Room 1, Newton Institute.

ClockFriday 15 September 2017, 10:00-10:20

Isaac Newton Institute Seminar Series

Frazil-ice dynamics in mixed layers and sub-ice-shelf plumes

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserDavid Rees Jones (University of Oxford).

HouseSeminar Room 1, Newton Institute.

ClockFriday 15 September 2017, 09:40-10:00

Isaac Newton Institute Seminar Series

Using sea-ice deformation fields to constrain the mechanical strength parameters of geophysical sea ice

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserBruno Tremblay (McGill University).

HouseSeminar Room 1, Newton Institute.

ClockFriday 15 September 2017, 09:00-09:40

Isaac Newton Institute Seminar Series

Opening remarks, Danny Feltham

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

User.

HouseSeminar Room 1, Newton Institute.

ClockFriday 15 September 2017, 08:55-09:00

Isaac Newton Institute Seminar Series

Brine rejection from sea ice

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserGrae Worster (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

ClockThursday 14 September 2017, 16:00-17:00

Isaac Newton Institute Seminar Series

Nonlinear stochastic time series analysis for sea ice and climate

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserWoosok Moon (British Antarctic Survey; NORDITA).

HouseSeminar Room 1, Newton Institute.

ClockThursday 14 September 2017, 15:30-16:00

Isaac Newton Institute Seminar Series

Ising model for melt ponds on Arctic sea ice

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserYiping Ma (Northumbria University).

HouseSeminar Room 1, Newton Institute.

ClockThursday 14 September 2017, 14:30-15:00

Isaac Newton Institute Seminar Series

Simple rules govern the patterns of Arctic sea ice melt ponds

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserPredrag Popovic (University of Chicago).

HouseSeminar Room 1, Newton Institute.

ClockThursday 14 September 2017, 14:00-14:30

Isaac Newton Institute Seminar Series

About the wave-particle duality observed with a classical particle driven by its memory-endowed wave-field

GFS - Growth form and self-organisation

UserYves Couder (Laboratoire Matière et Systèmes Complexes).

HouseSeminar Room 2, Newton Institute.

ClockThursday 14 September 2017, 14:00-15:00

Biological Chemistry Research Interest Group

Learning and Applying Nature's Biosynthetic Logic

UserProf. Bradley S. Moore, Scripps Institution of Oceanography, San Diego.

HouseUnilever Lecture Theatre, Department of Chemistry.

ClockThursday 14 September 2017, 14:00-16:00

Isaac Newton Institute Seminar Series

Different ice observation methods in marine operations

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserErik Almkvist (Viking Ice Concultancy).

HouseSeminar Room 1, Newton Institute.

ClockThursday 14 September 2017, 11:45-12:30

Isaac Newton Institute Seminar Series

Sea ice research - needs and gaps

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserRobert Bridges (Total E&P UK Limited).

HouseSeminar Room 1, Newton Institute.

ClockThursday 14 September 2017, 11:00-11:45

Isaac Newton Institute Seminar Series

Modeling Arctic melt ponds

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserDaniela Flocco (University of Reading).

HouseSeminar Room 1, Newton Institute.

ClockThursday 14 September 2017, 09:45-10:30

Isaac Newton Institute Seminar Series

Models of multi-scale and multi-phase sea ice thermodynamics

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserAndrew Wells (University of Oxford).

HouseSeminar Room 1, Newton Institute.

ClockThursday 14 September 2017, 09:00-09:45

Chemistry Departmental-wide lectures

Photosynthetic water oxidation - the substrates view

For more information, please contact Dr. Erwin Reisner (reisner@ch.cam.ac.uk)

UserProf. Johannes Messinger, Department of Chemistry, Umeå University, Sweden.

HouseTodd-Hamied meeting room, Department of Chemistry.

ClockWednesday 13 September 2017, 13:00-14:00

Isaac Newton Institute Seminar Series

Changes to sea ice thickness distribution due to Ice Shelf Water

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserPat Langhorne (University of Otago).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 13 September 2017, 11:45-12:30

Isaac Newton Institute Seminar Series

When is all the sea ice gone?

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserDirk Notz (Max-Planck-Institut für Meteorology).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 13 September 2017, 11:00-11:45

Isaac Newton Institute Seminar Series

Modeling macro-porosity of ridged sea ice in basin-scale models

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserAndrew Roberts (Naval Postgraduate School).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 13 September 2017, 09:45-10:30

Isaac Newton Institute Seminar Series

Sea ice stability and rapid retreat

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserIan Eisenman (University of California, San Diego).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 13 September 2017, 09:00-09:45

Isaac Newton Institute Seminar Series

Advection enhanced diffusion processes

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserNoa Kraitzman (University of Utah).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 12 September 2017, 16:00-16:30

Isaac Newton Institute Seminar Series

Flow-induced Coordinates for Transient Advection-Diffusion Equations with Multiple Scales

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserKonrad Simon (Universität Hamburg).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 12 September 2017, 15:30-16:00

Isaac Newton Institute Seminar Series

Effective Rheology and Wave Propagation in the Marginal Ice Zone

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserChristian Samspon (University of Utah; University of Utah; UNC Chapel Hill and RIMS).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 12 September 2017, 14:30-15:00

Isaac Newton Institute Seminar Series

A viscoelastic model for wave propagation in the marginal ice zone

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserSukun Cheng (Clarkson University).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 12 September 2017, 14:00-14:30

Isaac Newton Institute Seminar Series

Sensitivity of Arctic sea ice state to model parameter space, resolved processes and climate coupling

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserWieslaw Maslowski (Naval Postgraduate School).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 12 September 2017, 11:45-12:30

Isaac Newton Institute Seminar Series

Sea ice model physics: in search of fidelity

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserDaniel Feltham (University of Reading).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 12 September 2017, 11:00-11:45

Isaac Newton Institute Seminar Series

A compilation of research and thoughts on the future of sea ice models.

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserMartin Vancoppenolle (CNRS (Centre national de la recherche scientifique); Université Pierre & Marie Curie-Paris VI ).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 12 September 2017, 09:45-10:30

Isaac Newton Institute Seminar Series

Marginal Ice Zone Evolution due to Wave-Induced Breaking

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserVernon Squire (University of Otago).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 12 September 2017, 09:00-09:45

Isaac Newton Institute Seminar Series

Rothschild Lecture: Large-scale sea ice modeling: societal needs and community development

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserElizabeth Hunke (Los Alamos National Laboratory).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Filling the polar data gap with harmonic functions

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserCourtenay Strong (University of Utah).

HouseSeminar Room 1, Newton Institute.

ClockMonday 11 September 2017, 15:30-16:00

Isaac Newton Institute Seminar Series

Floe size and ice thickness distributions

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserChristopher Horvat (Harvard University; Brown University).

HouseSeminar Room 1, Newton Institute.

ClockMonday 11 September 2017, 14:30-15:00

Isaac Newton Institute Seminar Series

A new continuum rheological model for the deformation and drift of sea ice

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserVeronique Dansereau (CNRS (Centre national de la recherche scientifique)).

HouseSeminar Room 1, Newton Institute.

ClockMonday 11 September 2017, 14:00-14:30

Isaac Newton Institute Seminar Series

Discrete-element models of sea ice dynamics and fracture

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserAgnieszka Herman (University of Gdansk).

HouseSeminar Room 1, Newton Institute.

ClockMonday 11 September 2017, 11:45-12:30

Isaac Newton Institute Seminar Series

Linking scales in the sea ice system

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserKen Golden (University of Utah).

HouseSeminar Room 1, Newton Institute.

ClockMonday 11 September 2017, 11:00-11:45

Isaac Newton Institute Seminar Series

Small to big, quick to slow: The many scales of sea ice properties and processes

SIPW01 - Multi-scale modelling of ice characteristics and behaviour

UserDonald K. Perovich (Dartmouth College).

HouseSeminar Room 1, Newton Institute.

ClockMonday 11 September 2017, 09:45-10:30

Isaac Newton Institute Seminar Series

Variational Methods to Image Segmentation

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserTammy Riklin raviv (Ben-Gurion University).

HouseSeminar Room 1, Newton Institute.

ClockFriday 08 September 2017, 16:10-17:00

Isaac Newton Institute Seminar Series

Total Generalized Variation for Manifold-valued Data

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserMartin Holler (University of Graz).

HouseSeminar Room 1, Newton Institute.

ClockFriday 08 September 2017, 14:50-15:40

Isaac Newton Institute Seminar Series

Optimal Transport-Based Total Variation for Functional Lifting and Q-Ball Imaging

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserThomas Vogt (Universität zu Lübeck).

HouseSeminar Room 1, Newton Institute.

ClockFriday 08 September 2017, 14:00-14:50

Isaac Newton Institute Seminar Series

Adaptive and Move Making Auxiliary Cuts for Binary Pairwise Energies

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserOlga Veksler (University of Western Ontario).

HouseSeminar Room 1, Newton Institute.

ClockFriday 08 September 2017, 12:00-12:50

Isaac Newton Institute Seminar Series

Estimation of linear operators from scattered impulse responses

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserPierre Weiss (Université de Toulouse).

HouseSeminar Room 1, Newton Institute.

ClockFriday 08 September 2017, 11:10-12:00

Isaac Newton Institute Seminar Series

Representer theorems for ill-posed inverse problems: Tikhonov vs. generalized total-variation regularization

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserMichael Unser (EPFL - Ecole Polytechnique Fédérale de Lausanne).

HouseSeminar Room 1, Newton Institute.

ClockFriday 08 September 2017, 09:50-10:40

Isaac Newton Institute Seminar Series

Alternating proximal gradient descent for nonconvex regularised problems with multiconvex coupling terms

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserMila Nikolova (CNRS (Centre national de la recherche scientifique); ENS de Cachan).

HouseSeminar Room 1, Newton Institute.

ClockFriday 08 September 2017, 09:00-09:50

Isaac Newton Institute Seminar Series

Convex regularization of discrete-valued inverse problems

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserChristian Clason (Universität Duisburg-Essen).

HouseSeminar Room 1, Newton Institute.

ClockThursday 07 September 2017, 16:10-17:00

Isaac Newton Institute Seminar Series

Deconstructing Tip Growth Morphogenesis

GFS - Growth form and self-organisation

UserJacques Dumais (Adolfo Ibanez University).

HouseSeminar Room 2, Newton Institute.

ClockThursday 07 September 2017, 15:00-16:00

Isaac Newton Institute Seminar Series

Joint imaging and calibration using non-convex optimization

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserAudrey Repetti (Heriot-Watt University; Heriot-Watt University).

HouseSeminar Room 1, Newton Institute.

ClockThursday 07 September 2017, 14:50-15:40

Isaac Newton Institute Seminar Series

Sublabel-Accurate Relaxation of Nonconvex Energies

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserMichael Moeller (Universität Siegen).

HouseSeminar Room 1, Newton Institute.

ClockThursday 07 September 2017, 14:00-14:50

Isaac Newton Institute Seminar Series

Directional Regularization for Image Reconstruction

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserYiqiu Dong (Technical University of Denmark).

HouseSeminar Room 1, Newton Institute.

ClockThursday 07 September 2017, 12:00-12:50

Isaac Newton Institute Seminar Series

tba

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserDimitris Metaxas (Rutgers, The State University of New Jersey; University of Toronto; National Technical University of Athens).

HouseSeminar Room 1, Newton Institute.

ClockThursday 07 September 2017, 11:10-12:00

Isaac Newton Institute Seminar Series

End-to-end learning of CNN features in in discrete optimization models for motion and stereo

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserThomas Pock (Graz University of Technology).

HouseSeminar Room 1, Newton Institute.

ClockThursday 07 September 2017, 09:50-10:40

Isaac Newton Institute Seminar Series

Fast Algorithms for Euler´s Elastica energy minimization and applications

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserXue-Cheng Tai (Hong Kong Baptist University).

HouseSeminar Room 1, Newton Institute.

ClockThursday 07 September 2017, 09:00-09:50

Isaac Newton Institute Seminar Series

Convex Analysis in Hadamard Spaces

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserGabriele Steidl (University of Kaiserslautern).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 06 September 2017, 16:10-17:00

Isaac Newton Institute Seminar Series

Dissipation of wind waves by pancake and frazil ice in the autumn Beaufort Sea

SIP - Mathematics of sea ice phenomena

UserErick Rogers (U.S. Naval Research Laboratory).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 06 September 2017, 15:00-16:30

Isaac Newton Institute Seminar Series

Low dimensional manifold model for image processing

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserZuoqiang Shi (Tsinghua University).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 06 September 2017, 14:50-15:40

Isaac Newton Institute Seminar Series

Sensitivity Analysis with Degeneracy: Mirror Stratifiable Functions

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserJalal Fadili (Other).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 06 September 2017, 14:00-14:50

Chemistry Departmental-wide lectures

Manufacturing of designed nanomaterials

If you would like more information regarding Dr. Torrente's talk, please contact Dr. Erwin Reisner (reisner@ch.cam.ac.uk)

UserDr. Laura Torrente Murciano, Department of Chemical Engineering and Biotechnology, University of Cambridge.

HouseTodd-Hamied meeting room, Department of Chemistry.

ClockWednesday 06 September 2017, 14:00-15:00

Isaac Newton Institute Seminar Series

Efficient numerical Methods For Variational inpainting models

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserSung Ha Kang (Georgia Institute of Technology).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 06 September 2017, 12:00-12:50

Isaac Newton Institute Seminar Series

Valued Constraint Satisfaction Problems

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserVladimir Kolmogorov (Institute of Science and Technology (IST Austria)).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 06 September 2017, 11:10-12:00

Isaac Newton Institute Seminar Series

Automating stochastic gradient methods with adaptive batch sizes

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserTom Goldstein (University of Maryland).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 06 September 2017, 09:50-10:40

Isaac Newton Institute Seminar Series

Geodesic Methods for Interactive Image Segmentation using Finsler metrics

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserLaurent Cohen (CNRS & Université Paris-Dauphine ; CNRS & Université Paris-Dauphine ).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 06 September 2017, 09:00-09:50

Isaac Newton Institute Seminar Series

Drinks Reception and Networking

OFBW32 - Computational Challenges in Image Processing

User.

HouseSeminar Room 1, Newton Institute.

ClockTuesday 05 September 2017, 17:00-18:00

Isaac Newton Institute Seminar Series

Open Discussion and Questions

OFBW32 - Computational Challenges in Image Processing

User.

HouseSeminar Room 1, Newton Institute.

ClockTuesday 05 September 2017, 16:35-17:00

Isaac Newton Institute Seminar Series

Imaging Whales from Space

OFBW32 - Computational Challenges in Image Processing

UserPeter Fretwell (British Antarctic Survey).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 05 September 2017, 16:10-16:35

Isaac Newton Institute Seminar Series

Computational Challenges for Long Range Imaging

OFBW32 - Computational Challenges in Image Processing

UserMark Bray (BAE Systems).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 05 September 2017, 15:45-16:10

Isaac Newton Institute Seminar Series

Validating Machine Learning Models Visually with Zegami

OFBW32 - Computational Challenges in Image Processing

UserRoger Noble (Zegami).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 05 September 2017, 15:20-15:45

Isaac Newton Institute Seminar Series

Current topics on sea-ice research: Led by A Korobkin

SIP - Mathematics of sea ice phenomena

User.

HouseSeminar Room 2, Newton Institute.

ClockTuesday 05 September 2017, 15:00-16:30

Isaac Newton Institute Seminar Series

Nonlinear Tomography

OFBW32 - Computational Challenges in Image Processing

UserAndrew Curtis (University of Edinburgh).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 05 September 2017, 14:25-15:00

Isaac Newton Institute Seminar Series

Statistical Machine Learning and Optimisation Challenges for Brain Imaging at a Millisecond Timescale

OFBW32 - Computational Challenges in Image Processing

UserAlexandre Gramfort (Université Paris-Saclay).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 05 September 2017, 13:50-14:25

Isaac Newton Institute Seminar Series

Organiser Introduction

OFBW32 - Computational Challenges in Image Processing

UserAntonin Chambolle (CNRS (Centre national de la recherche scientifique); École Polytechnique).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 05 September 2017, 13:40-13:50

Isaac Newton Institute Seminar Series

Welcome and Introduction

OFBW32 - Computational Challenges in Image Processing

UserChristie Marr (Isaac Newton Institute); Jane Leeks (Turing Gateway to Mathematics).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 05 September 2017, 13:30-13:40

Isaac Newton Institute Seminar Series

Preconditioned and accelerated Douglas-Rachford algorithms for the solution of variational imaging problems

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserKristian Bredies (University of Graz).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 05 September 2017, 12:00-12:50

Isaac Newton Institute Seminar Series

Tensor Data Analysis: Models and Algorithms

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserMichael Ng (Hong Kong Baptist University).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 05 September 2017, 11:10-12:00

Isaac Newton Institute Seminar Series

Gyrotactic focussing by swimming micro-organisms in three-dimensional flows

GFS - Growth form and self-organisation

UserNicholas Hill (University of Glasgow).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 05 September 2017, 11:00-12:00

Isaac Newton Institute Seminar Series

Fractional Order Derivatives Regularization: Models, Algorithms and Applications

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserKe Chen (University of Liverpool).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 05 September 2017, 09:50-10:40

Biological Chemistry Research Interest Group

Protein Folding, Evolution and Interactions Symposium

Registration essential: £110 (3-5 Sept) http://www.ch.cam.ac.uk/pfei/registration

UserKeynote Speakers: Professor Sir Alan Fersht and Professor Dame Carol Robinson.

HouseMcGrath Centre.

ClockTuesday 05 September 2017, 09:00-18:00

Isaac Newton Institute Seminar Series

Minimization of curvature dependent functional.

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserAntonin Chambolle (CNRS (Centre national de la recherche scientifique); École Polytechnique).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 05 September 2017, 09:00-09:50

Isaac Newton Institute Seminar Series

Video colorization by a variational approach

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserJean-Francois Aujol (Université Bordeaux 1).

HouseSeminar Room 1, Newton Institute.

ClockMonday 04 September 2017, 16:10-17:00

Isaac Newton Institute Seminar Series

Nonlinear spectral analysis - beyond the convex case

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserGuy Gilboa (Technion - Israel Institute of Technology).

HouseSeminar Room 1, Newton Institute.

ClockMonday 04 September 2017, 14:50-15:40

Isaac Newton Institute Seminar Series

Nonlinear Spectral Decomposition

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserMartin Burger (Universität Münster).

HouseSeminar Room 1, Newton Institute.

ClockMonday 04 September 2017, 14:00-14:50

Isaac Newton Institute Seminar Series

On Overparametrization in Variational Methods

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserAlfred Bruckstein (Technion - Israel Institute of Technology; Nanyang Technological University).

HouseSeminar Room 1, Newton Institute.

ClockMonday 04 September 2017, 12:00-12:50

Isaac Newton Institute Seminar Series

Spectral Clustering meets Graphical Models

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserYuri Boykov (University of Western Ontario; University of Western Ontario).

HouseSeminar Room 1, Newton Institute.

ClockMonday 04 September 2017, 11:10-12:00

Isaac Newton Institute Seminar Series

Efficient and Stable Schemes for 2D Forward-and-Backward Diffusion

VMVW01 - Variational methods, new optimisation techniques and new fast numerical algorithms

UserJoachim Weickert (Universität des Saarlandes ).

HouseSeminar Room 1, Newton Institute.

ClockMonday 04 September 2017, 09:50-10:40

Biological Chemistry Research Interest Group

Protein Folding, Evolution and Interactions Symposium

Registration essential: £110 (3-5 Sept) http://www.ch.cam.ac.uk/pfei/registration

UserKeynote Speakers: Professor Sir Alan Fersht and Professor Dame Carol Robinson.

HouseMcGrath Centre.

ClockMonday 04 September 2017, 09:00-18:00

Biological Chemistry Research Interest Group

Protein Folding, Evolution and Interactions Symposium

Registration essential: £110 (3-5 Sept) http://www.ch.cam.ac.uk/pfei/registration

UserKeynote Speakers: Professor Sir Alan Fersht and Professor Dame Carol Robinson.

HouseMcGrath Centre.

ClockSunday 03 September 2017, 16:00-18:00

Isaac Newton Institute Seminar Series

On (pre) dualization, dense embeddings of convex sets, and applications in image processing

VMV - Variational methods and effective algorithms for imaging and vision

UserMichael Hintermüller (Weierstrass Institute Berlin; Humboldt-Universität zu Berlin).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 30 August 2017, 16:00-17:00

Isaac Newton Institute Seminar Series

Morphodynamics of cohesive objects

GFS - Growth form and self-organisation

UserEmmanuel Villermaux (Aix Marseille Université; Institut de Recherche sur les Phénomènes Hors Equilibre).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 30 August 2017, 15:00-16:00

Isaac Newton Institute Seminar Series

Shapes of Colloidal Membranes

GFS - Growth form and self-organisation

UserThomas Powers (Brown University; Brown University).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 29 August 2017, 11:00-12:00

Isaac Newton Institute Seminar Series

Three-Dimensional solitary water waves

NWW - Nonlinear water waves

UserErik Wahlén (Lund University).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 23 August 2017, 15:00-16:30

Isaac Newton Institute Seminar Series

Fast computation of steady surface gravity waves

NWW - Nonlinear water waves

UserDidier Clamond (Université de Nice Sophia Antipolis).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 23 August 2017, 14:00-15:00

Isaac Newton Institute Seminar Series

Symplectic topology of K3 surfaces via mirror symmetry

SYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson

UserIvan Smith (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

ClockFriday 18 August 2017, 16:00-17:00

Isaac Newton Institute Seminar Series

On the ADHM Seiberg–Witten equations

SYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson

UserThomas Walpuski (Massachusetts Institute of Technology).

HouseSeminar Room 1, Newton Institute.

ClockFriday 18 August 2017, 14:30-15:30

Isaac Newton Institute Seminar Series

Graded linearisations for linear algebraic group actions

SYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson

UserFrances Kirwan (University of Oxford).

HouseSeminar Room 1, Newton Institute.

ClockFriday 18 August 2017, 11:30-12:30

Isaac Newton Institute Seminar Series

A polyfold lab report

SYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson

UserKatrin Wehrheim (University of California, Berkeley; University of California, Berkeley).

HouseSeminar Room 1, Newton Institute.

ClockFriday 18 August 2017, 10:00-11:00

Isaac Newton Institute Seminar Series

Existence of Lefschetz fibrations on Stein/Weinstein domains

SYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson

UserJohn Pardon (Princeton University).

HouseSeminar Room 1, Newton Institute.

ClockThursday 17 August 2017, 17:00-18:00

Isaac Newton Institute Seminar Series

Constructing the virtual fundamental cycle

SYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson

UserDusa McDuff (Barnard College).

HouseSeminar Room 1, Newton Institute.

ClockThursday 17 August 2017, 15:30-16:30

Isaac Newton Institute Seminar Series

Singularities of Hermitian-Yang-Mills connections and the Harder-Narasimhan-Seshadri filtration

SYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson

UserSong Sun (Stony Brook University).

HouseSeminar Room 1, Newton Institute.

ClockThursday 17 August 2017, 14:00-15:00

Isaac Newton Institute Seminar Series

Graph Legendrians and SL2 local systems

SYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson

UserEmmy Murphy (Northwestern University).

HouseSeminar Room 1, Newton Institute.

ClockThursday 17 August 2017, 11:30-12:30

Isaac Newton Institute Seminar Series

An SU(3) variant of instanton homology for webs

SYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson

UserPeter Kronheimer (Harvard University).

HouseSeminar Room 1, Newton Institute.

ClockThursday 17 August 2017, 10:00-11:00

Isaac Newton Institute Seminar Series

Expanding large global solutions of the compressible Euler equations

NWW - Nonlinear water waves

UserM. Hadzic (University of London).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 16 August 2017, 16:00-16:50

Isaac Newton Institute Seminar Series

Coherent Lagrangian Vortices in Turbulence

NWW - Nonlinear water waves

UserGeorge Haller (ETH Zürich).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 16 August 2017, 15:00-15:50

Isaac Newton Institute Seminar Series

On traffic modeling and the Braess paradox

NWW - Nonlinear water waves

UserHelge Holden (Norwegian University of Science and Technology).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 16 August 2017, 14:00-14:50

Isaac Newton Institute Seminar Series

An approach to the four colour theorem via Donaldson- Floer theory

SYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson

UserTomasz Mrowka (Massachusetts Institute of Technology; Massachusetts Institute of Technology).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 16 August 2017, 12:00-13:00

Isaac Newton Institute Seminar Series

From Euler to Poincare

SYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson

UserMichael Atiyah (University of Edinburgh).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 16 August 2017, 10:30-11:30

Isaac Newton Institute Seminar Series

Remarks on Nahm's equations

SYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson

UserNigel Hitchin (University of Oxford).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 16 August 2017, 09:00-10:00

Isaac Newton Institute Seminar Series

Mathematical applications of little string theory

SYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson

UserMina Aganagic (University of California, Berkeley).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 15 August 2017, 16:00-17:00

Isaac Newton Institute Seminar Series

Computing knot Floer homology

SYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson

UserPeter Ozsvath (Princeton University).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 15 August 2017, 14:30-15:30

Materials Chemistry Research Interest Group

Networks, resilience and complexity

UserProfessor Gabriel Cwilich, Yeshiva University, New York, USA.

HouseUnilever Lecture Theatre, Unilever Centre, Department of Chemistry.

ClockTuesday 15 August 2017, 14:00-15:00

Isaac Newton Institute Seminar Series

100 Problems around Scalar Curvature

SYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson

UserMikhail Gromov (IHES).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 15 August 2017, 11:30-12:30

Isaac Newton Institute Seminar Series

Speculations about homological mirror symmetry for affine hypersurfaces

SYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson

UserDenis Auroux (University of California, Berkeley).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 15 August 2017, 10:00-11:00

Seminars on Quantitative Biology @ CRUK Cambridge Institute

Coding and non-coding cancer mutations

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. Dr Núria López-Bigas, ICREA Research Professor, IRB Barcelona.

HouseCRUK CI Room 009/009A.

ClockMonday 14 August 2017, 16:00-17:00

Isaac Newton Institute Seminar Series

Knot Floer homology and algebraic methods

SYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson

UserZoltan Szabo (Princeton University).

HouseSeminar Room 1, Newton Institute.

ClockMonday 14 August 2017, 16:00-17:00

Isaac Newton Institute Seminar Series

The Gopakumar-Vafa conjecture for symplectic manifolds

SYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson

UserEleny Ionel (Stanford University).

HouseSeminar Room 1, Newton Institute.

ClockMonday 14 August 2017, 14:30-15:30

Isaac Newton Institute Seminar Series

Atiyah Floer conjecture

SYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson

UserKenji Fukaya (Stony Brook University).

HouseSeminar Room 1, Newton Institute.

ClockMonday 14 August 2017, 11:30-12:30

Isaac Newton Institute Seminar Series

Fields of definition of Fukaya categories of Calabi-Yau hypersurfaces

SYGW05 - Symplectic geometry - celebrating the work of Simon Donaldson

UserPaul Seidel (Massachusetts Institute of Technology).

HouseSeminar Room 1, Newton Institute.

ClockMonday 14 August 2017, 10:00-11:00

Isaac Newton Institute Seminar Series

Vortex waves in deep water: Lagrange approach

NWWW01 - Nonlinear water waves

UserAnatoly Abrashkin (Higher School of Economics, Moscow).

HouseSeminar Room 1, Newton Institute.

ClockThursday 10 August 2017, 17:00-18:00

Isaac Newton Institute Seminar Series

Experimental validations of various aspects of the wave-induced mean flow for surface gravity wave groups

NWWW01 - Nonlinear water waves

UserTon van den Bremer (University of Edinburgh).

HouseSeminar Room 1, Newton Institute.

ClockThursday 10 August 2017, 16:00-17:00

Isaac Newton Institute Seminar Series

Hamiltonian models for the propagation of irrotational surface gravity waves over a variable bottom

NWWW01 - Nonlinear water waves

UserRossen Ivanov (Dublin Institute of Technology).

HouseSeminar Room 1, Newton Institute.

ClockThursday 10 August 2017, 14:30-15:30

Category Theory Seminar

Ultrafilters, ultraproducts and ultracategories

UserRichard Garner, Macquarie University, Sydney, Australia.

HouseMR5, Centre for Mathematical Sciences.

ClockThursday 10 August 2017, 14:15-15:15

Isaac Newton Institute Seminar Series

Upper bound on the slope of a steady water wave

NWWW01 - Nonlinear water waves

UserWalter Strauss (Brown University).

HouseSeminar Room 1, Newton Institute.

ClockThursday 10 August 2017, 11:30-12:30

Isaac Newton Institute Seminar Series

Long time dynamics of some dispersive models arising from the study of water waves

NWWW01 - Nonlinear water waves

UserBenjamin Harrop-griffiths (Courant Institute of Mathematical Sciences).

HouseSeminar Room 1, Newton Institute.

ClockThursday 10 August 2017, 10:00-11:00

Isaac Newton Institute Seminar Series

Stability of traveling water waves with a point vortex

NWWW01 - Nonlinear water waves

UserSamuel Walsh (University of Missouri).

HouseSeminar Room 1, Newton Institute.

ClockThursday 10 August 2017, 09:00-10:00

Isaac Newton Institute Seminar Series

Zonal flows and wave resonance. --- Rossby wave case ---

NWWW01 - Nonlinear water waves

UserMichio Yamada (Kyoto University).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 09 August 2017, 16:00-17:00

Isaac Newton Institute Seminar Series

Small-amplitude steady water waves on flows with counter-currents.

NWWW01 - Nonlinear water waves

UserVladimir Kozlov (Linköpings Universitet).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 09 August 2017, 13:30-14:30

Isaac Newton Institute Seminar Series

Two-component Camassa-Holm system and its reductions

NWWW01 - Nonlinear water waves

UserYoshimasa Matsuno (Yamaguchi University).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 09 August 2017, 11:30-12:30

Isaac Newton Institute Seminar Series

Numerical computation of water waves with discontinuous vorticity

NWWW01 - Nonlinear water waves

UserMayumi Shoji (Japan Women's University ).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 09 August 2017, 10:00-11:00

Isaac Newton Institute Seminar Series

Isobe-Kakinuma model for water waves as a higher order shallow water approximation

NWWW01 - Nonlinear water waves

UserTatsuo Iguchi (Keio University).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 09 August 2017, 09:00-10:00

Isaac Newton Institute Seminar Series

Global bifurcation of steady gravity water waves with constant vorticity

NWWW01 - Nonlinear water waves

UserEugen Varvaruca (Universitatea Alexandru Ioan Cuza; University of Reading).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 08 August 2017, 16:00-17:00

Isaac Newton Institute Seminar Series

Harnessing wave-power in open seas

NWWW01 - Nonlinear water waves

UserMichael Stiassnie (Technion - Israel Institute of Technology).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 08 August 2017, 14:30-15:30

Isaac Newton Institute Seminar Series

Craik-Leibovich Equation, Distinguished Limits, Drifts, and Pseudo-Diffusion

NWWW01 - Nonlinear water waves

UserVladimir Vladimirov (Sultan Qaboos University; University of York).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 08 August 2017, 13:30-14:30

Isaac Newton Institute Seminar Series

On linear and nonlinear wave-ship interactions

NWWW01 - Nonlinear water waves

UserOnno Bokhove (University of Leeds).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 08 August 2017, 11:30-12:30

Isaac Newton Institute Seminar Series

Numerical study of solitary waves under continuous or fragmented ice plates

NWWW01 - Nonlinear water waves

UserEmilian I Parau (University of East Anglia).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 08 August 2017, 10:00-11:00

Isaac Newton Institute Seminar Series

Nonlinear surface waves at finite depth with and without surface cover

NWWW01 - Nonlinear water waves

UserJohn Grue (University of Oslo).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 08 August 2017, 09:00-10:00

Isaac Newton Institute Seminar Series

Capturing the flow structure beneath water waves

NWWW01 - Nonlinear water waves

UserAndre Nachbin (IMPA - Instituto Nacional de Matemática Pura e Aplicada, Rio de Janeiro).

HouseSeminar Room 1, Newton Institute.

ClockMonday 07 August 2017, 16:00-17:00

Isaac Newton Institute Seminar Series

Some thoughts on the role of the convection terms in the fluid mechanical PDEs.

NWWW01 - Nonlinear water waves

UserHisashi Okamoto (Gakushuin University).

HouseSeminar Room 1, Newton Institute.

ClockMonday 07 August 2017, 14:30-15:30

Isaac Newton Institute Seminar Series

On long term regularity of water wave models

NWWW01 - Nonlinear water waves

UserAlexandru Ionescu (Princeton University).

HouseSeminar Room 1, Newton Institute.

ClockMonday 07 August 2017, 13:30-14:30

Isaac Newton Institute Seminar Series

Conservation relations for two-dimensional wave-current interactions

NWWW01 - Nonlinear water waves

UserGareth Thomas (University College Cork).

HouseSeminar Room 1, Newton Institute.

ClockMonday 07 August 2017, 11:30-12:30

Isaac Newton Institute Seminar Series

Physical oceanography: an applied mathematician's approach

NWWW01 - Nonlinear water waves

UserRobin Johnson (Newcastle University).

HouseSeminar Room 1, Newton Institute.

ClockMonday 07 August 2017, 10:00-11:00

Isaac Newton Institute Seminar Series

Cubical and simplicial 2 - the coherent nerve of a cubical category (joint work with K Kapulkin)

BPR - Big proof

UserVladimir Voevodsky (Institute for Advanced Study, Princeton).

HouseSeminar Room 2, Newton Institute.

ClockThursday 03 August 2017, 15:30-16:30

Isaac Newton Institute Seminar Series

How do human mathematicians avoid big searches?

BPR - Big proof

UserWilliam Timothy Gowers (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

ClockFriday 28 July 2017, 13:30-14:30

Isaac Newton Institute Seminar Series

A MathComp Library tour

BPR - Big proof

UserGeorges Gonthier (INRIA Saclay - Île-de-France).

HouseSeminar Room 2, Newton Institute.

ClockFriday 28 July 2017, 11:00-12:00

Isaac Newton Institute Seminar Series

Categorical structures for type theory in univalent foundations"

BPR - Big proof

UserBenedikt Ahrens (INRIA Rennes - Bretagne Atlantique).

HouseSeminar Room 2, Newton Institute.

ClockThursday 27 July 2017, 16:30-17:30

Isaac Newton Institute Seminar Series

Simplicial and cubical sets - how they relate to each other (joint work with Chris Kapulkin)

BPR - Big proof

UserVladimir Voevodsky (Institute for Advanced Study, Princeton).

HouseSeminar Room 2, Newton Institute.

ClockThursday 27 July 2017, 15:30-16:30

Isaac Newton Institute Seminar Series

Automated theorem proving in first-order logic: from superposition to instantiation

BPR - Big proof

UserKonstantin Korovin (University of Manchester).

HouseSeminar Room 2, Newton Institute.

ClockThursday 27 July 2017, 13:30-14:30

Isaac Newton Institute Seminar Series

Parametric Groebner basis computations and elimination

BPR - Big proof

UserDeepak Kapur (University of New Mexico).

HouseSeminar Room 2, Newton Institute.

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

Isaac Newton Institute Seminar Series

Modelling the way mathematics is actually done

BPR - Big proof

UserJoe Corneli (University of Edinburgh; University of London).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 26 July 2017, 15:30-16:30

Isaac Newton Institute Seminar Series

An overview of the Flyspeck project

BPR - Big proof

UserThomas Hales (University of Pittsburgh).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 26 July 2017, 14:30-15:30

Isaac Newton Institute Seminar Series

Concise - a synthesis of types, grammars, semantics

BPR - Big proof

UserArnold Neumaier (Universität Wien).

HouseSeminar Room 2, Newton Institute.

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

Isaac Newton Institute Seminar Series

Systems Based on Set Theory

BPR - Big proof

UserJosef Urban (Czech Technical University); Mario Carneiro (Carnegie Mellon University; Ohio State University); Bohua Zhan (Massachusetts Institute of Technology).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 25 July 2017, 14:00-16:00

Isaac Newton Institute Seminar Series

Big Proof & Education

BPR - Big proof

UserJeremy Avigad (Carnegie Mellon University).

HouseSeminar Room 2, Newton Institute.

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

Isaac Newton Institute Seminar Series

Language and automation in mathematics

BPR - Big proof

UserNatarajan Shankar (SRI International); Leonardo de Moura (Microsoft Research); Arnold Neumaier (Universität Wien); Cesare Tinelli (University of Iowa).

HouseSeminar Room 2, Newton Institute.

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

Isaac Newton Institute Seminar Series

Reasoning by equivalence: the start of proof in elementary education

BPR - Big proof

UserChris Sangwin (University of Edinburgh; University of Edinburgh).

HouseSeminar Room 2, Newton Institute.

ClockFriday 21 July 2017, 13:30-14:30

Isaac Newton Institute Seminar Series

Computer Algebra and Formal Proof

BPR - Big proof

UserJames Davenport (University of Bath).

HouseSeminar Room 2, Newton Institute.

ClockFriday 21 July 2017, 11:00-12:00

British Antarctic Survey - Polar Oceans seminar series

Ice-ocean interaction at the Totten Glacier

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

Isaac Newton Institute Seminar Series

Social proof: social session on the POPL experience

BPR - Big proof

UserUrsula Martin (University of Oxford).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 18 July 2017, 16:30-17:30

Isaac Newton Institute Seminar Series

Socialising proof

BPR - Big proof

UserLorenzo Lane (University of Edinburgh; University of Oxford).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 18 July 2017, 16:00-16:30

Isaac Newton Institute Seminar Series

Measuring Sample Discrepancy with Diffusions

SIN - Scalable inference; statistical, algorithmic, computational aspects

UserAndrew Duncan (University of Sussex; The Alan Turing Institute).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 18 July 2017, 15:40-16:20

Isaac Newton Institute Seminar Series

Go forth and multiply! Imperatives in mathematical proofs

BPR - Big proof

UserFenner Tanswell (University of Oxford).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 18 July 2017, 15:30-16:00

Isaac Newton Institute Seminar Series

Multi-scale algorithms for simple fluids

SIN - Scalable inference; statistical, algorithmic, computational aspects

UserAnthony Maggs (City of Paris Industrial Physics and Chemistry Higher Educational Institution, (ESPCI)).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 18 July 2017, 15:00-15:40

Isaac Newton Institute Seminar Series

Combining Machine Learning and Automated Reasoning: Some Training Examples

BPR - Big proof

UserJosef Urban (Czech Technical University).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 18 July 2017, 13:30-14:30

Isaac Newton Institute Seminar Series

Sampling with non-reversible dynamics

SIN - Scalable inference; statistical, algorithmic, computational aspects

UserMichela Ottobre (Heriot-Watt University).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 18 July 2017, 12:50-13:30

Isaac Newton Institute Seminar Series

Event-chain algorithms: taming randomness in Monte Carlo methods through irreversibility, factorization and lifting

SIN - Scalable inference; statistical, algorithmic, computational aspects

UserMichel Manon (Orange Lab).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 18 July 2017, 12:10-12:50

Isaac Newton Institute Seminar Series

Mining Human Proofs from Machine Proofs

BPR - Big proof

UserPaulo Oliva (Queen Mary University of London; Queen Mary University of London).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 18 July 2017, 11:00-12:00

Isaac Newton Institute Seminar Series

How does breaking detailed balance accelerate convergence to equilibrium?

SIN - Scalable inference; statistical, algorithmic, computational aspects

UserRobert Jack (University of Bath).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 18 July 2017, 11:00-11:40

Isaac Newton Institute Seminar Series

Piecewise deterministic Markov processes and efficiency gains through exact subsampling for MCMC

SIN - Scalable inference; statistical, algorithmic, computational aspects

UserJoris Bierkens (Delft University of Technology).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 18 July 2017, 10:20-11:00

Isaac Newton Institute Seminar Series

A simple prover in the browser

BPR - Big proof

UserEdward Ayers (University of Cambridge).

HouseSeminar Room 2, Newton Institute.

ClockMonday 17 July 2017, 17:00-17:30

Isaac Newton Institute Seminar Series

Auto2 prover in Isabelle

BPR - Big proof

UserBohua Zhan (Massachusetts Institute of Technology).

HouseSeminar Room 2, Newton Institute.

ClockMonday 17 July 2017, 16:30-17:00

Isaac Newton Institute Seminar Series

Evaluating winding numbers through Cauchy indices in Isabelle/HOL

BPR - Big proof

UserWenda Li (University of Cambridge).

HouseSeminar Room 2, Newton Institute.

ClockMonday 17 July 2017, 16:00-16:30

Isaac Newton Institute Seminar Series

CDSAT: conflict-driven theory combination

BPR - Big proof

UserMaria Paola Bonacina (Università degli Studi di Verona).

HouseSeminar Room 2, Newton Institute.

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

Isaac Newton Institute Seminar Series

Panel on future directions for Big Proof

BPRW01 - Computer-aided mathematical proof

UserWilliam Timothy Gowers (University of Cambridge); Natarajan Shankar (); Patrick Ion (University of Michigan).

HouseSeminar Room 1, Newton Institute.

ClockFriday 14 July 2017, 16:00-17:00

Isaac Newton Institute Seminar Series

Panel on future directions for Big Proof

BPRW01 - Computer-aided mathematical proof

UserWilliam Timothy Gowers (University of Cambridge); Natarajan Shankar (); Patrick Ion (University of Michigan).

HouseSeminar Room 1, Newton Institute.

ClockFriday 14 July 2017, 14:30-15:30

Isaac Newton Institute Seminar Series

After Math: Reasoning, Computing, and Proof in the Postwar United States (via Skype)

BPRW01 - Computer-aided mathematical proof

UserStephanie Dick (Harvard University).

HouseSeminar Room 1, Newton Institute.

ClockFriday 14 July 2017, 13:30-14:30

Isaac Newton Institute Seminar Series

Proof Archeology: Historical Mathematics from an Interactive Theorem Proving Standpoint

BPRW01 - Computer-aided mathematical proof

UserJacques Fleuriot (University of Edinburgh).

HouseSeminar Room 1, Newton Institute.

ClockFriday 14 July 2017, 11:30-12:30

Isaac Newton Institute Seminar Series

Lightweight and Heavyweight Methods for Integrating Mathematical Libraries

BPRW01 - Computer-aided mathematical proof

UserMichael Kohlhase (Jacobs University Bremen).

HouseSeminar Room 1, Newton Institute.

ClockFriday 14 July 2017, 10:00-11:00

Isaac Newton Institute Seminar Series

The role of explanation in mathematical research

BPRW01 - Computer-aided mathematical proof

UserAlison Pease (University of Dundee).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Machine Learning for Interactive Theorem Proving: Revisit, Reuse and Recycle your Proofs

BPRW01 - Computer-aided mathematical proof

UserKatya Komendenskaya (Heriot-Watt University).

HouseSeminar Room 1, Newton Institute.

ClockThursday 13 July 2017, 16:00-17:00

Isaac Newton Institute Seminar Series

Accessible Reasoning with Diagrams: Ontology Debugging

BPRW01 - Computer-aided mathematical proof

UserMateja Jamnik (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

ClockThursday 13 July 2017, 14:30-15:30

Isaac Newton Institute Seminar Series

Formal Verification of Financial Algorithms, Progress and Prospects

BPRW01 - Computer-aided mathematical proof

UserGrant Passmore (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

ClockThursday 13 July 2017, 11:30-12:30

Isaac Newton Institute Seminar Series

Mining the Archive of Formal Proofs

BPRW01 - Computer-aided mathematical proof

UserTobias Nipkow (Technischen Universität München).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

Scaffolds and frames: the MathComp algebra formal library

BPRW01 - Computer-aided mathematical proof

UserGeorges Gonthier (INRIA Saclay - Île-de-France).

HouseSeminar Room 1, Newton Institute.

ClockThursday 13 July 2017, 09:00-10:00

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

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.

ClockWednesday 12 July 2017, 14:30-15:30

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

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

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

Schemas and semantics for Higher Inductive Types

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

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

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

Logic in univalent type theory

BPRW01 - Computer-aided mathematical proof

UserMartin Escardo (University of Birmingham).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 11 July 2017, 10:00-11: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

Mathematical Knowledge at Scale

BPRW01 - Computer-aided mathematical proof

UserStephen Watt (University of Waterloo).

HouseSeminar Room 1, Newton Institute.

ClockMonday 10 July 2017, 16:00-17:00

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

UniMath - its present and its future.

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

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

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

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:30-14:30

Isaac Newton Institute Seminar Series

Homotopy Type Theory in Agda

BPR - Big proof

UserDan Licata (Wesleyan University); Kuen-Bang Hou (Favonia) (Carnegie Mellon University).

HouseSeminar Room 2, Newton Institute.

ClockFriday 07 July 2017, 12:00-12:30

Isaac Newton Institute Seminar Series

Inference in generative models using the Wasserstein distance

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

The Lean HoTT library

BPR - Big proof

UserFloris van Doorn (Carnegie Mellon University).

HouseSeminar Room 2, Newton Institute.

ClockFriday 07 July 2017, 11:30-12:00

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

The HoTT library in Coq

BPR - Big proof

UserBas Spitters (Aarhus Universitet).

HouseSeminar Room 2, Newton Institute.

ClockFriday 07 July 2017, 11:00-11:30

Isaac Newton Institute Seminar Series

Overview of Unimath

BPR - Big proof

UserBenedikt Ahrens (INRIA Rennes - Bretagne Atlantique); Catherine LELAY (Institute for Advanced Study, Princeton).

HouseSeminar Room 2, Newton Institute.

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

Isaac Newton Institute Seminar Series

Bradley-Terry models for pair-comparison networks: Structure and scalability

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

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

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

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

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

A Verified ODE Solver and Smale's 14th Problem

BPR - Big proof

UserFabian Immler (Technische Universität München).

HouseSeminar Room 2, Newton Institute.

ClockThursday 06 July 2017, 13:40-14:20

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

Type theory and higher categories

BPR - Big proof

UserChris Kapulkin (University of Western Ontario).

HouseSeminar Room 2, Newton Institute.

ClockThursday 06 July 2017, 13:00-13:40

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

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

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

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

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

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

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

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

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

Semi-Automatic Asymptotics in Isabelle/HOL

BPR - Big proof

UserManuel Eberl (Technische Universität München).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 05 July 2017, 13:30-14:30

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

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

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

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

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

Transferability: as easy as ABC?

SINW01 - Scalable statistical inference

UserKerrie Mengersen (Queensland University of Technology).

HouseSeminar Room 1, Newton Institute.

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

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

Designing efficient composite likelihoods

SINW01 - Scalable statistical inference

UserCristiano Varin (Università Cà Foscari di Venezia).

HouseSeminar Room 1, Newton Institute.

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

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

Classical Analysis in Lean & Isabelle

BPR - Big proof

UserJohannes Hölzl (Carnegie Mellon University).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 04 July 2017, 13:00-14:00

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

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

Computational Higher-Dimensional Type Theory

BPR - Big proof

UserKuen-Bang Hou (Favonia) (Carnegie Mellon University).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 04 July 2017, 10:30-11:30

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

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

Inference Algorithms

BPR - Big proof

UserNatarajan Shankar (SRI International).

HouseSeminar Room 2, Newton Institute.

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

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

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

Proof Automation - Automation in Isabelle's Analysis

BPR - Big proof

UserJohannes Hölzl (Carnegie Mellon University).

HouseSeminar Room 2, Newton Institute.

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

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

British Antarctic Survey - Polar Oceans seminar series

The bottom-intensification of mixing causes large, almost cancelling, abyssal upwelling and downwelling

If external to BAS, please email Dr Andrew Meijers (andmei@bas.ac.uk) in advance to gain access to the building

UserTrevor McDougall, School of Mathematics and Statistics, University of New South Wales.

HouseBritish Antarctic Survey, Innovation Centre, Conference Theatre.

ClockMonday 03 July 2017, 14:00-15:00

Isaac Newton Institute Seminar Series

Data compression with statistical guarantees

SINW01 - Scalable statistical inference

UserSylvia Richardson (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

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

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

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

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

A tutorial introduction to the PVS proof assistant

BPR - Big proof

UserNatarajan Shankar (SRI International).

HouseSeminar Room 2, Newton Institute.

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

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

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

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

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

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

The Lean Theorem Prover

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

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

British Antarctic Survey

A year in the life of the minutiae in a changing Arctic Ocean

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

UserBryan Wilson, University of Bergen.

HouseBritish Antarctic Survey, Innovation Centre, Seminar Room 1.

ClockWednesday 28 June 2017, 13:00-14:00

Isaac Newton Institute Seminar Series

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

Isaac Newton Institute Seminar Series

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

Isaac Newton Institute Seminar Series

On colored link homologies

HTLW04 - Quantum topology and categorified representation theory

UserPaul Wedrich (Imperial College London).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 27 June 2017, 16:00-17:00

HEP phenomenology joint Cavendish-DAMTP seminar

MSSM: muon g-2, dark matter and cosmology

UserMatthew Talia (University of Sydney).

HouseB1.19, DAMTP.

ClockTuesday 27 June 2017, 15:00-16:30

Isaac Newton Institute Seminar Series

Representation theory and the Coulomb branch

HTLW04 - Quantum topology and categorified representation theory

UserBen Webster (University of Virginia).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 27 June 2017, 14:30-15:30

Isaac Newton Institute Seminar Series

Using Agda to Explore Path-Oriented Models of Type Theory

BPR - Big proof

UserAndrew Pitts (University of Cambridge).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 27 June 2017, 13:30-14:30

Isaac Newton Institute Seminar Series

An Upsilon-like invariant from Khovanov-Rozansky homology

HTLW04 - Quantum topology and categorified representation theory

UserLukas Lewark (Universität Bern).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 27 June 2017, 13:30-14:30

Isaac Newton Institute Seminar Series

Introduction to p-dg 2-representation theory

HTLW04 - Quantum topology and categorified representation theory

UserVanessa Miemietz (University of East Anglia).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 27 June 2017, 11:30-12:30

Isaac Newton Institute Seminar Series

Univalent type theory and modular formalisation of mathematics

BPR - Big proof

UserThierry Coquand (Göteborgs Universitet).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 27 June 2017, 11:00-12:00

Isaac Newton Institute Seminar Series

How to categorify the ring of integers localized at two

HTLW04 - Quantum topology and categorified representation theory

UserMikhail Khovanov (Columbia University).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 27 June 2017, 10:00-11:00

Isaac Newton Institute Seminar Series

Around Chebyshev's polynomial and the skein algebra of the torus

HTLW04 - Quantum topology and categorified representation theory

UserHoel Queffelec (CNRS (Centre national de la recherche scientifique); Université de Montpellier).

HouseSeminar Room 1, Newton Institute.

ClockMonday 26 June 2017, 16:00-17:00

Isaac Newton Institute Seminar Series

Traces, current algebras, and link homologies

HTLW04 - Quantum topology and categorified representation theory

UserDavid Rose (University of North Carolina ).

HouseSeminar Room 1, Newton Institute.

ClockMonday 26 June 2017, 14:30-15:30

Theoretical, Modelling and Informatics - Chemistry Research Interest Group

Alternative Approaches to Chemical Risk Assessment: Assays, Databases, Models

Dr Richard Judson is a research chemist at the US EPA's National Center for Computational Toxicology. His research involves the development of databases and computer models to predict toxicological effects across a wide variety of chemicals.

UserDr Richard Judson, EPA National Centre for Computational Toxicology.

HouseDepartment of Chemistry, Cambridge, Todd Hamied Room.

ClockMonday 26 June 2017, 14:00-15:00

Isaac Newton Institute Seminar Series

Hall algebras and Fukaya categories

HTLW04 - Quantum topology and categorified representation theory

UserPeter Samuelson (University of Edinburgh).

HouseSeminar Room 1, Newton Institute.

ClockMonday 26 June 2017, 13:30-14:30

British Antarctic Survey

Ecology and diversity of Southern Ocean pelagic amphipods

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

UserCharlotte Havermans, University of Bremen.

HouseBritish Antarctic Survey, Innovation Centre, Seminar Room 1.

ClockMonday 26 June 2017, 13:00-14:00

Isaac Newton Institute Seminar Series

Lattices and Homological Algebra

HTLW04 - Quantum topology and categorified representation theory

UserZsuzsanna Dancso (University of Sydney).

HouseSeminar Room 1, Newton Institute.

ClockMonday 26 June 2017, 11:30-12:30

Isaac Newton Institute Seminar Series

The Big Proof Agenda for Mechanizing Mathematical Discourse

BPR - Big proof

UserNatarajan Shankar (SRI International).

HouseSeminar Room 2, Newton Institute.

ClockMonday 26 June 2017, 11:00-12:00

Isaac Newton Institute Seminar Series

Non semisimple TQFTs from quantum sl(2)

HTLW04 - Quantum topology and categorified representation theory

UserChristian Blanchet (Université Denis Diderot).

HouseSeminar Room 1, Newton Institute.

ClockMonday 26 June 2017, 10:00-11:00

Isaac Newton Institute Seminar Series

The borders of Outer space

NPCW05 - Group actions and cohomology in non-positive curvature

UserKaren Vogtmann (University of Warwick; Cornell University).

HouseSeminar Room 1, Newton Institute.

ClockFriday 23 June 2017, 14:30-15:30

Isaac Newton Institute Seminar Series

Topology of ends of nonpositively curved manifolds

NPCW05 - Group actions and cohomology in non-positive curvature

UserGrigori Avramidi (Universität Münster).

HouseSeminar Room 1, Newton Institute.

ClockFriday 23 June 2017, 13:30-14:30

Isaac Newton Institute Seminar Series

Free-by-cyclic groups and trees

NPCW05 - Group actions and cohomology in non-positive curvature

UserChristopher Leininger (University of Illinois at Chicago).

HouseSeminar Room 1, Newton Institute.

ClockFriday 23 June 2017, 11:30-12:30

Isaac Newton Institute Seminar Series

Action dimension and L^2 Cohomology

NPCW05 - Group actions and cohomology in non-positive curvature

UserKevin Schreve (University of Michigan).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

The dynamics of classifying geometric structures

NPCW05 - Group actions and cohomology in non-positive curvature

UserBill Goldman (University of Maryland).

HouseSeminar Room 1, Newton Institute.

ClockFriday 23 June 2017, 09:00-10:00

Isaac Newton Institute Seminar Series

Extending group actions on metric spaces

NPCW05 - Group actions and cohomology in non-positive curvature

UserDenis Osin (Vanderbilt University).

HouseSeminar Room 1, Newton Institute.

ClockThursday 22 June 2017, 16:00-17:00

Isaac Newton Institute Seminar Series

Hyperbolic groups with boundary an n-dimensional Sierpinski space

NPCW05 - Group actions and cohomology in non-positive curvature

UserJean-Francois Lafont (Ohio State University).

HouseSeminar Room 1, Newton Institute.

ClockThursday 22 June 2017, 14:30-15:30

Special Departmental Seminars

ARE WE ALONE SEARCHING FOR LIFE IN THE UNIVERSE

UserDr S. Pete Worden, Chair of the Breakthrough Initiatives of the Breakthrough Prize Foundation.

HouseSmall Lecture Theatre, Bragg Building, Room 133, Cavendish Laboratory, Department of Physics.

ClockThursday 22 June 2017, 14:30-15:30

Isaac Newton Institute Seminar Series

Vanishing simplicial volume for certain affine manifolds

NPCW05 - Group actions and cohomology in non-positive curvature

UserMichelle Bucher (Université de Genève).

HouseSeminar Room 1, Newton Institute.

ClockThursday 22 June 2017, 11:30-12:30

Isaac Newton Institute Seminar Series

L2-torsion of free-by-cyclic groups

NPCW05 - Group actions and cohomology in non-positive curvature

UserMatt Clay (University of Arkansas).

HouseSeminar Room 1, Newton Institute.

ClockThursday 22 June 2017, 10:00-11:00

Isaac Newton Institute Seminar Series

tba

NPCW05 - Group actions and cohomology in non-positive curvature

UserVladimir Markovic (CALTECH (California Institute of Technology)).

HouseSeminar Room 1, Newton Institute.

ClockThursday 22 June 2017, 09:00-10:00

British Antarctic Survey

The euphausiid exception in the oxygen minimum zone (OMZ)

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

UserDr. Jaime Farber-Lorda (Centro de Investigación Cientifica, Ensenada, Mexico) .

HouseBritish Antarctic Survey, Innovation Centre, Seminar Room 1.

ClockWednesday 21 June 2017, 14:00-15:00

Isaac Newton Institute Seminar Series

Surface subgroups of graphs of free groups

NPCW05 - Group actions and cohomology in non-positive curvature

UserHenry Wilton (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 21 June 2017, 11:30-12:30

Isaac Newton Institute Seminar Series

The boundary of hyperbolic free-by-cyclic groups

NPCW05 - Group actions and cohomology in non-positive curvature

UserYael Algom Kfir (University of Haifa).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 21 June 2017, 10:00-11:00

Isaac Newton Institute Seminar Series

Generalized Bestvina-Brady groups and their applications

NPCW05 - Group actions and cohomology in non-positive curvature

UserIan Leary (University of Southampton).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 21 June 2017, 09:00-10:00

Isaac Newton Institute Seminar Series

The evolution of L2-Betti numbers

NPCW05 - Group actions and cohomology in non-positive curvature

UserRoman Sauer (Karlsruhe Institute of Technology (KIT)).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 20 June 2017, 16:00-17:00

Mathematical Physics Seminar

Conformal and projective compactifications in GR

UserRod Gover (Auckland NZ).

HouseMR11.

ClockTuesday 20 June 2017, 16:00-17:00

Isaac Newton Institute Seminar Series

Group actions on C*-algebras and obstruction theory

OAS - Operator algebras: subfactors and their applications

UserMasaki Izumi (Kyoto University).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 20 June 2017, 16:00-17:00

Cavendish HEP Seminars

LHCb: a general purpose detector in the forward region

UserXabier Cid Vidal (Santiago).

HouseRutherford Seminar Room B.

ClockTuesday 20 June 2017, 15:00-16:00

Isaac Newton Institute Seminar Series

Effective quasimorphisms on right-angled Artin groups

NPCW05 - Group actions and cohomology in non-positive curvature

UserJing Tao (University of Oklahoma).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 20 June 2017, 14:30-15:30

British Antarctic Survey

Antarctic krill: Life is all about balance in a high CO2 world

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

UserJessica Ericson, University of Tasmania.

HouseBritish Antarctic Survey, Room 307.

ClockTuesday 20 June 2017, 13:30-14:00

Isaac Newton Institute Seminar Series

Groups acting on trees: representation theory and operator algebras

OAS - Operator algebras: subfactors and their applications

UserSven Raum (EPFL - Ecole Polytechnique Fédérale de Lausanne).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 20 June 2017, 13:30-14:30

British Antarctic Survey

Using fisheries samples to investigate seasonal and regional variation in Antarctic krill lipids

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

UserNicole Hellessey, University of Tasmania.

HouseBritish Antarctic Survey, Room 307.

ClockTuesday 20 June 2017, 13:00-13:30

Isaac Newton Institute Seminar Series

Polynomial invariants of graph maps and applications to Out(Fn) and Mod(Sgn)

NPCW05 - Group actions and cohomology in non-positive curvature

UserEriko Hironaka (American Mathematical Society; Florida State University).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 20 June 2017, 11:30-12:30

Isaac Newton Institute Seminar Series

Universal L2-torsion for free-by-cyclic groups

NPCW05 - Group actions and cohomology in non-positive curvature

UserDawid Kielak (Universität Bielefeld ).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 20 June 2017, 10:00-11:00

Isaac Newton Institute Seminar Series

Kaehler groups and CAT(0) cubic complexes

NPCW05 - Group actions and cohomology in non-positive curvature

UserThomas Delzant (Université Louis Pasteur).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 20 June 2017, 09:00-10:00

Isaac Newton Institute Seminar Series

Geodesic currents and counting problems

NPCW05 - Group actions and cohomology in non-positive curvature

UserKasra Rafi (University of Toronto).

HouseSeminar Room 1, Newton Institute.

ClockMonday 19 June 2017, 16:00-17:00

Isaac Newton Institute Seminar Series

Around a big mapping class group

NPCW05 - Group actions and cohomology in non-positive curvature

UserJuliette Bavard (University of Chicago).

HouseSeminar Room 1, Newton Institute.

ClockMonday 19 June 2017, 14:30-15:30

Isaac Newton Institute Seminar Series

The uniform boundary condition and simplicial volumes

NPCW05 - Group actions and cohomology in non-positive curvature

UserClara Löh (Universität Regensburg).

HouseSeminar Room 1, Newton Institute.

ClockMonday 19 June 2017, 13:30-14:30

Isaac Newton Institute Seminar Series

Bounded cohomology and combinatorial volume forms

NPCW05 - Group actions and cohomology in non-positive curvature

UserRoberto Frigerio (Università di Pisa).

HouseSeminar Room 1, Newton Institute.

ClockMonday 19 June 2017, 11:30-12:30

British Antarctic Survey

The 2016 K-axis Voyage: A Salpa thompsoni goldmine

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

UserPaige Kelly, Australian Antarctic Division.

HouseBritish Antarctic Survey, Innovation Centre, Seminar Room 1.

ClockMonday 19 June 2017, 11:00-12:00

Isaac Newton Institute Seminar Series

Compactifications of spaces of maximal representations and non archimedean geometry

NPCW05 - Group actions and cohomology in non-positive curvature

UserMarc Burger (ETH Zürich).

HouseSeminar Room 1, Newton Institute.

ClockMonday 19 June 2017, 10:00-11:00

BSS Formal Seminars

How to read and write mechanical information in DNA molecules

Userprof. dr. Helmut Schiessel, University of Leiden.

HouseSmall Lecture Theatre, Cavendish Laboratory.

ClockFriday 16 June 2017, 16:00-17:00

Isaac Newton Institute Seminar Series

The truth about finite group orbifolds

OASW03 - Subfactors, K-theory and conformal field theory

UserTerry Gannon (University of Alberta).

HouseSeminar Room 1, Newton Institute.

ClockFriday 16 June 2017, 14:30-15:30

Isaac Newton Institute Seminar Series

Conformal nets, VOAs and their representations

OASW03 - Subfactors, K-theory and conformal field theory

UserSebastiano Carpi (Università degli Studi Gabriele d'Annunzio).

HouseSeminar Room 1, Newton Institute.

ClockFriday 16 June 2017, 13:30-14:30

Isaac Newton Institute Seminar Series

What to expect from logarithmic conformal field theory

OASW03 - Subfactors, K-theory and conformal field theory

UserSimon Wood (Cardiff University).

HouseSeminar Room 1, Newton Institute.

ClockFriday 16 June 2017, 11:30-12:30

Fluid Mechanics (DAMTP)

Woolly Owl (Oxford/Cambridge)

User18th Oxford/Cambridge Applied Mathematics Meeting.

HouseMR2, Centre for Mathematical Sciences, Wilberforce Road, Cambridge.

ClockFriday 16 June 2017, 11:00-17:00

Isaac Newton Institute Seminar Series

On the Classification of holomorphic vertex operator algebras of central charge 24

OASW03 - Subfactors, K-theory and conformal field theory

UserChing Hung Lam (Academia Sinica).

HouseSeminar Room 1, Newton Institute.

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

Isaac Newton Institute Seminar Series

On questions around reconstruction program

OASW03 - Subfactors, K-theory and conformal field theory

UserFeng Xu ().

HouseSeminar Room 1, Newton Institute.

ClockFriday 16 June 2017, 09:00-10:00

Isaac Newton Institute Seminar Series

Affine centralizer algebras

OASW03 - Subfactors, K-theory and conformal field theory

UserLilit Martirosyan (Max-Planck-Institut für Mathematik, Bonn).

HouseSeminar Room 1, Newton Institute.

ClockThursday 15 June 2017, 16:00-17:00

Isaac Newton Institute Seminar Series

Bicommutant categories

OASW03 - Subfactors, K-theory and conformal field theory

UserAndre Henriques (University of Oxford; Universiteit Utrecht).

HouseSeminar Room 1, Newton Institute.

ClockThursday 15 June 2017, 14:30-15:30

Isaac Newton Institute Seminar Series

The string group and vertex algebras

OASW03 - Subfactors, K-theory and conformal field theory

UserChristian Voigt (University of Glasgow).

HouseSeminar Room 1, Newton Institute.

ClockThursday 15 June 2017, 13:30-14:30

Isaac Newton Institute Seminar Series

Induced C*-hulls for *-algebras

OASW03 - Subfactors, K-theory and conformal field theory

UserRalf Meyer (Georg-August-Universität Göttingen).

HouseSeminar Room 1, Newton Institute.

ClockThursday 15 June 2017, 11:30-12:30

Isaac Newton Institute Seminar Series

Loop groups and noncommutative geometry

OASW03 - Subfactors, K-theory and conformal field theory

UserRobin Hillier ().

HouseSeminar Room 1, Newton Institute.

ClockThursday 15 June 2017, 10:00-11:00

Isaac Newton Institute Seminar Series

Conformal Field Theory, Operator algebras and symmetric Fuchsian equations

OASW03 - Subfactors, K-theory and conformal field theory

UserAntony Wassermann (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

ClockThursday 15 June 2017, 09:00-10:00

Isaac Newton Institute Seminar Series

Knots and links from the Thompson groups

NPC - Non-positive curvature group actions and cohomology

UserVaughan Jones (Vanderbilt University; University of California, Berkeley; University of Auckland).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 14 June 2017, 13:00-14:00

Isaac Newton Institute Seminar Series

Line bundles over noncommutative spaces

OASW03 - Subfactors, K-theory and conformal field theory

UserGiovanni Landi (Università degli Studi di Trieste ).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 14 June 2017, 11:30-12:30

Isaac Newton Institute Seminar Series

An application of T-duality to K-theory

OASW03 - Subfactors, K-theory and conformal field theory

UserPedram Hekmati (IMPA - Instituto Nacional de Matemática Pura e Aplicada, Rio de Janeiro; University of Auckland).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 14 June 2017, 10:00-11:00

Isaac Newton Institute Seminar Series

Kramer-Wannier and electro-magnetic duality in field theory

OASW03 - Subfactors, K-theory and conformal field theory

UserConstantin Teleman (University of Oxford).

HouseSeminar Room 1, Newton Institute.

ClockWednesday 14 June 2017, 09:00-10:00

Isaac Newton Institute Seminar Series

The Quantum Sine-Gordon model in perturbative AQFT

OASW03 - Subfactors, K-theory and conformal field theory

UserKasia Rejner (University of York).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 13 June 2017, 16:00-17:00

Cavendish HEP Seminars

Short Baseline Neutrino (SBN) program at Fermilab

UserWesley Ketchum (FNAL and University of Bern) .

HouseRutherford Seminar Room B.

ClockTuesday 13 June 2017, 15:00-16:00

Isaac Newton Institute Seminar Series

Yang-Baxter representations of the infinite symmetric group

OASW03 - Subfactors, K-theory and conformal field theory

UserGandalf Lechner (Cardiff University).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 13 June 2017, 14:30-15:30

Isaac Newton Institute Seminar Series

Baxterising using conserved currents

OASW03 - Subfactors, K-theory and conformal field theory

UserPaul Fendley (University of Oxford).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 13 June 2017, 13:30-14:30

Isaac Newton Institute Seminar Series

Associative algebras and conformal field theories

OASW03 - Subfactors, K-theory and conformal field theory

UserHubert Saleur (University of Southern California).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 13 June 2017, 11:30-12:30

Isaac Newton Institute Seminar Series

Strong property (T), subexponential growth of derivatives and invariant metrics

NPC - Non-positive curvature group actions and cohomology

UserDavid Fisher (Indiana University; Indiana University).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 13 June 2017, 11:00-12:00

Isaac Newton Institute Seminar Series

Synergy on quon language

OASW03 - Subfactors, K-theory and conformal field theory

UserZhengwei Liu ().

HouseSeminar Room 1, Newton Institute.

ClockTuesday 13 June 2017, 10:00-11:00

Isaac Newton Institute Seminar Series

Subfactors with infinite representation theory

OASW03 - Subfactors, K-theory and conformal field theory

UserDietmar Bisch (Vanderbilt University).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 13 June 2017, 09:00-10:00

Isaac Newton Institute Seminar Series

Rothschild Lecture: Classification of von Neumann algebras

OASW03 - Subfactors, K-theory and conformal field theory

UserStefaan Vaes (KU Leuven).

HouseSeminar Room 1, Newton Institute.

ClockMonday 12 June 2017, 16:00-17:00

Isaac Newton Institute Seminar Series

Discussion about the Landauer principle (and bound)

OASW03 - Subfactors, K-theory and conformal field theory

UserRoberto Longo (Università degli Studi di Roma Tor Vergata).

HouseSeminar Room 1, Newton Institute.

ClockMonday 12 June 2017, 14:30-15:30

Isaac Newton Institute Seminar Series

The relative Drinfeld commutant and alpha-induction

OASW03 - Subfactors, K-theory and conformal field theory

UserYasu Kawahigashi (University of Tokyo).

HouseSeminar Room 1, Newton Institute.

ClockMonday 12 June 2017, 13:30-14:30

Isaac Newton Institute Seminar Series

On Picture Language

OASW03 - Subfactors, K-theory and conformal field theory

UserArthur Jaffe (Harvard University).

HouseSeminar Room 1, Newton Institute.

ClockMonday 12 June 2017, 11:30-12:30

Isaac Newton Institute Seminar Series

Phase transitions in the semicontinuous limit of a quantum spin chain

OASW03 - Subfactors, K-theory and conformal field theory

UserVaughan Jones (Vanderbilt University; University of California, Berkeley).

HouseSeminar Room 1, Newton Institute.

ClockMonday 12 June 2017, 10:00-11:00

Isaac Newton Institute Seminar Series

Khovanov homology and knot Floer homology for pointed links

HTL - Homology theories in low dimensional topology

UserAdam Levine (Princeton University).

HouseSeminar Room 2, Newton Institute.

ClockFriday 09 June 2017, 13:30-14:30

Mordell Lectures

Complex dynamics and elliptic curves

UserLaura DeMarco (Northwestern University).

HouseMR2, CMS.

ClockThursday 08 June 2017, 17:00-18:00

Isaac Newton Institute Seminar Series

Morse Structures on Open Books

HTL - Homology theories in low dimensional topology

UserJoan Licata (Australian National University).

HouseSeminar Room 2, Newton Institute.

ClockThursday 08 June 2017, 15:15-16:15

Isaac Newton Institute Seminar Series

Introduction to continuous fields of C*-algebras and their topological invariants (Part 3)

OAS - Operator algebras: subfactors and their applications

UserMarius Dadarlat (Purdue University; Purdue University).

HouseSeminar Room 2, Newton Institute.

ClockThursday 08 June 2017, 14:00-15:00

Isaac Newton Institute Seminar Series

Pimsner legacy

OAS - Operator algebras: subfactors and their applications

UserEmmanuel Germain (Université de Caen Basse-Normandie).

HouseSeminar Room 2, Newton Institute.

ClockThursday 08 June 2017, 12:45-13:45

Algebra and Representation Theory Seminar

Amenability, cellular automata and group-graded rings

UserPeter Kropholler (Southampton).

HouseMR12.

ClockWednesday 07 June 2017, 16:30-17:30

British Antarctic Survey - Polar Oceans seminar series

Examining mechanisms for submesoscale eddy generation using observations in the North Atlantic

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

UserDr Christian Buckingham (British Antarctic Survey).

HouseBritish Antarctic Survey, Innovation Centre, Seminar Room 2.

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

Physical Chemistry Research Interest Group

Disorder by Design

UserProf. Andrew Goodwin, University of Oxford.

HousePfizer LT.

ClockTuesday 06 June 2017, 16:00-17:00

Cavendish HEP Seminars

The LHCb Upgrade and Flavour Physics Prospects

UserJohannes Albrecht (Technical University of Dortmund).

HouseRutherford Seminar Room B.

ClockTuesday 06 June 2017, 15:00-16:00

Number Theory Seminar

Reduction of dynatomic curves

UserHolly Krieger (University of Cambridge).

HouseMR13.

ClockTuesday 06 June 2017, 14:30-15:30

Isaac Newton Institute Seminar Series

Introduction to continuous fields of C*-algebras and their topological invariants (Part 2)

OAS - Operator algebras: subfactors and their applications

UserMarius Dadarlat (Purdue University; Purdue University).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 06 June 2017, 14:00-15:00

Isaac Newton Institute Seminar Series

Bivariant and Dynamical Versions of the Cuntz Semigroup

OAS - Operator algebras: subfactors and their applications

UserJoachim Zacharias (University of Glasgow).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 06 June 2017, 12:45-13:45

BSS Formal Seminars

Drops: A tool to structure materials

UserProf. Esther Amstad, EPFL. Soft Materials Laboratory.

HouseSmall Lecture Theatre, Cavendish Laboratory.

ClockFriday 02 June 2017, 16:00-17:00

Isaac Newton Institute Seminar Series

Introduction to continuous fields of C*-algebras and their topological invariants (Part 1)

OAS - Operator algebras: subfactors and their applications

UserMarius Dadarlat (Purdue University; Purdue University).

HouseSeminar Room 2, Newton Institute.

ClockFriday 02 June 2017, 16:00-17:00

Isaac Newton Institute Seminar Series

How to compute torus link homology

HTL - Homology theories in low dimensional topology

UserMatthew Hogancamp (University of Southern California).

HouseSeminar Room 2, Newton Institute.

ClockThursday 01 June 2017, 15:15-16:15

Combinatorics Seminar

Elusive problems in extremal graph theory

UserDaniel Kráľ (University of Warwick).

HouseMR12.

ClockThursday 01 June 2017, 14:30-15:30

Theory of Condensed Matter

On signatures of Majorana fermions

UserDr Benjamin Béri (University of Birmingham) .

HouseTCM Seminar Room, Cavendish Laboratory.

ClockThursday 01 June 2017, 14:15-15:15

Algebra and Representation Theory Seminar

Expanders, Beauville surfaces and buildings

UserAlina Vdovina (Newcastle).

HouseMR12.

ClockWednesday 31 May 2017, 16:30-17:30

Algebraic Geometry Seminar

The Modularity/Automorphy of Calabi–Yau Varieties of CM type

UserNoriko Yui, Queens University..

HouseCMS MR13.

ClockWednesday 31 May 2017, 14:15-15:15

Semiconductor Physics Group Seminars

Hidden Order of Cooper Pairs in a Striped Cuprate at High Magnetic Fields (SP and QM)

UserDragana Popović, National High Magnetic Field Laboratory, Florida State University.

HouseMott Seminar Room (Mott Building Room 531), Cavendish Laboratory.

ClockWednesday 31 May 2017, 14:15-15:15

Chemistry Departmental-wide lectures

Title to be confirmed

UserProf. Joost Reek, Universiteit van Amsterdam, The Netherlands.

HouseUnilever Lecture Theatre, Department of Chemistry.

ClockWednesday 31 May 2017, 13:00-14:00

Quantum Matter Seminar

Superfluid density, universal scaling of critical current and the quest for room-temperature superconductivity

UserJeffery Tallon, Robinson Research Institute, Victoria University of Wellington and MacDiarmid Institute for Advanced Materials & Nanotechnology, New Zealand..

HouseSmall Lecture Theatre (Bragg Building), Cavendish Laboratory.

ClockWednesday 31 May 2017, 11:15-12:15

Mathematical Physics Seminar

Reflection Positivity: Something Old and Something New

User Arthur Jaffe (Harvard, visiting INI).

HouseMR11.

ClockTuesday 30 May 2017, 16:00-17:00

Number Theory Seminar

A class number formula for Picard modular surfaces

UserShrenik Shah (Columbia University).

HouseMR13.

ClockTuesday 30 May 2017, 15:30-16:30

Cavendish HEP Seminars

CANCELLED (Searches for exotic physics with photons in ATLAS)

UserMiguel Villaplana (University of Milan) .

HouseRutherford Seminar Room B.

ClockTuesday 30 May 2017, 15:00-16:00

Category Theory Seminar

Magnitude homology

UserTom Leinster (University of Edinburgh).

HouseMR5, Centre for Mathematical Sciences.

ClockTuesday 30 May 2017, 14:15-15:15

Number Theory Seminar

Pseudorepresentations and the Eisenstein ideal

UserCarl Wang Erickson (Imperial College).

HouseMR13.

ClockTuesday 30 May 2017, 14:00-15:00

Isaac Newton Institute Seminar Series

Moebius Geometry of Boundaries''

NPC - Non-positive curvature group actions and cohomology

UserViktor Schroeder (University of Zurich and ETH Zurich).

HouseSeminar Room 1, Newton Institute.

ClockTuesday 30 May 2017, 14:00-16:00

Isaac Newton Institute Seminar Series

Are geodesic metric spaces determined by their Morse boundaries?

NPC - Non-positive curvature group actions and cohomology

UserRuth Charney (Brandeis University).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 30 May 2017, 11:00-12:00

Isaac Newton Institute Seminar Series

Buildings, surfaces and quaternions

NPC - Non-positive curvature group actions and cohomology

UserAlina Vdovina (Newcastle University).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 30 May 2017, 10:00-11:00

BSS Formal Seminars

Light sheet fluorescence microscopy for fast volumetric imaging of bio-samples

UserPablo Loza-Alvarez. Staff Scientist SLN Chief at ICFO - The Institute of Photonic Sciences. Castelldefels (Barcelona), Spain .

HouseSmall Lecture Theatre, Cavendish Laboratory.

ClockFriday 26 May 2017, 16:00-17:00

Isaac Newton Institute Seminar Series

PETs, pseudogroup actions, and renormalisation

NPC - Non-positive curvature group actions and cohomology

UserRichard Schwartz (Brown University).

HouseSeminar Room 2, Newton Institute.

ClockFriday 26 May 2017, 10:00-12:00

Isaac Newton Institute Seminar Series

Dimensionality Reduction Techniques in Medical Data Analysis

TGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information

UserJoan Lasenby (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

ClockThursday 25 May 2017, 16:15-17:00

Surfaces, Microstructure and Fracture Group

Dynamics of carbon and hydrogen on Ru(001)

UserPeter Townsend, SMF Group, Cavendish Laboratory.

HouseMott Seminar Room, Cavendish Laboratory.

ClockThursday 25 May 2017, 16:00-17:00

Isaac Newton Institute Seminar Series

Large Data Limits for Graphical Models

TGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information

UserMatthew Thorpe (Carnegie Mellon University).

HouseSeminar Room 1, Newton Institute.

ClockThursday 25 May 2017, 15:35-16:15

Isaac Newton Institute Seminar Series

Something about the Khovanov space

HTL - Homology theories in low dimensional topology

UserAndrew Lobb (University of Durham).

HouseSeminar Room 2, Newton Institute.

ClockThursday 25 May 2017, 15:15-16:15

Isaac Newton Institute Seminar Series

High Dimensional Changepoint Estimation via Sparse Projection

TGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information

UserTengyao Wang (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

ClockThursday 25 May 2017, 14:35-15:15

Isaac Newton Institute Seminar Series

H^3 and twisted K-theory for compact Lie groups

OAS - Operator algebras: subfactors and their applications

UserJonathan Rosenberg (University of Maryland).

HouseSeminar Room 2, Newton Institute.

ClockThursday 25 May 2017, 14:00-15:00

Isaac Newton Institute Seminar Series

Geometric Methods for the Approximation of High-Dimensional Data Sets and High-Dimensional Dynamical Systems

TGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information

UserMauro Maggioni (Johns Hopkins University).

HouseSeminar Room 1, Newton Institute.

ClockThursday 25 May 2017, 13:50-14:35

Isaac Newton Institute Seminar Series

Your Browser Can Prove Your Lemmas

TGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information

UserEdward Ayers (Cantab Capital Institute for the Mathematics of Information).

HouseSeminar Room 1, Newton Institute.

ClockThursday 25 May 2017, 12:45-12:50

Isaac Newton Institute Seminar Series

Novel Uses of Shipping Data in Commodity Markets

TGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information

UserAndrew Celsus (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

ClockThursday 25 May 2017, 12:40-12:45

Isaac Newton Institute Seminar Series

Nonparametric Estimation of Diffusions in the Low-Frequency Setting

TGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information

UserSven Wang (Cantab Capital Institute for the Mathematics of Information).

HouseSeminar Room 1, Newton Institute.

ClockThursday 25 May 2017, 12:35-12:40

Isaac Newton Institute Seminar Series

Reconstruction Methods in Transmission Electron Tomography

TGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information

UserRobert Tovey (Cantab Capital Institute for the Mathematics of Information).

HouseSeminar Room 1, Newton Institute.

ClockThursday 25 May 2017, 12:30-12:35

Isaac Newton Institute Seminar Series

Learning a Sampling Pattern for MRI

TGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information

UserFerdia Sherry (Cantab Capital Institute for the Mathematics of Information).

HouseSeminar Room 1, Newton Institute.

ClockThursday 25 May 2017, 12:25-12:30

Isaac Newton Institute Seminar Series

Approaches to Sampling and Inference for Bayesian Nonparametrics

TGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information

UserSam Power (Cantab Capital Institute for the Mathematics of Information).

HouseSeminar Room 1, Newton Institute.

ClockThursday 25 May 2017, 12:20-12:25

Isaac Newton Institute Seminar Series

Photoacoustic Tomography with Total Variation Regularisation

TGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information

UserErlend Riis (Cambridge Centre for Analysis).

HouseSeminar Room 1, Newton Institute.

ClockThursday 25 May 2017, 12:15-12:20

Isaac Newton Institute Seminar Series

Quantum Entropies Through Convex Optimisation

TGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information

UserEric Hanson (Cantab Capital Institute for the Mathematics of Information).

HouseSeminar Room 1, Newton Institute.

ClockThursday 25 May 2017, 12:10-12:15

Isaac Newton Institute Seminar Series

Sparse Principal Component Analysis via Random Projections

TGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information

UserMilana Gataric (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

ClockThursday 25 May 2017, 12:05-12:10

Isaac Newton Institute Seminar Series

Introduction to Elevator Pitches

TGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information

UserCarola-Bibiane Schönlieb (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

ClockThursday 25 May 2017, 12:00-12:05

Isaac Newton Institute Seminar Series

Surface Approximations and Geometric Energies

TGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information

UserSimon Masnou (Université Claude Bernard Lyon 1).

HouseSeminar Room 1, Newton Institute.

ClockThursday 25 May 2017, 10:55-11:40

Isaac Newton Institute Seminar Series

Using Novel Data Sources to Model Commodity Markets

TGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information

UserChris Longworth (Cantab Capital Partners).

HouseSeminar Room 1, Newton Institute.

ClockThursday 25 May 2017, 10:10-10:55

Isaac Newton Institute Seminar Series

Welcome and Introduction, Update from CCIMI

TGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information

UserCarola-Bibiane Schönlieb (University of Cambridge).

HouseSeminar Room 1, Newton Institute.

ClockThursday 25 May 2017, 10:00-10:10

Algebra and Representation Theory Seminar

Generalizations of self-reciprocal polynomials

UserSandro Mattarei (Lincoln).

HouseMR12.

ClockWednesday 24 May 2017, 16:30-17:30

Differential Geometry and Topology Seminar

Symmetries in monotone Lagrangian Floer theory

UserJack Smith, Cambridge.

HouseMR13.

ClockWednesday 24 May 2017, 16:00-17:00

Algebraic Geometry Seminar

Birational geometry of exceptional sets in Manin's conjecture

UserSho Tanimoto (Copenhagen).

HouseCMS MR4.

ClockWednesday 24 May 2017, 14:15-15:15

Isaac Newton Institute Seminar Series

The pentagram map and discrete integrable systems

NPC - Non-positive curvature group actions and cohomology

UserRichard Schwartz (Brown University).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 24 May 2017, 14:00-16:00

British Antarctic Survey - Polar Oceans seminar series

Seasonal changes in Circumpolar Deep Water in the Amundsen Sea, Antarctica, using seal-borne tags

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

UserHelen Mallet, University of East Anglia.

HouseBritish Antarctic Survey, Innovation Centre, Seminar Room 2.

ClockWednesday 24 May 2017, 11:00-12:00

Mathematical Physics Seminar

Integrable systems associated to submanifolds in Grassmanians

UserBoris Kruglikov (Tromso, visiting DAMTP).

HouseMR11.

ClockTuesday 23 May 2017, 16:00-17:00

Cavendish HEP Seminars

Dark Matter Searches at CMS

UserNicholas Wardle (Imperial College London).

HouseRutherford Seminar Room B.

ClockTuesday 23 May 2017, 15:00-16:00

Chemistry Departmental-wide lectures

Tuning charge transfer in low-dimensional nano carbons

UserProf. Dirk Guldi, Friedrich-Alexander-Universität Erlangen-Nürnberg.

HouseUnilever Lecture Theatre, Department of Chemistry.

ClockTuesday 23 May 2017, 15:00-16:00

Number Theory Seminar

The Weak Leopoldt Conjecture for adjoint representations

UserPatrick Allen (University of Illinois at Urbana-Champaign).

HouseMR13.

ClockTuesday 23 May 2017, 14:30-15:30

Category Theory Seminar

List objects with algebraic structure

UserPhilip Saville (University of Cambridge).

HouseMR5, Centre for Mathematical Sciences.

ClockTuesday 23 May 2017, 14:15-15:15

British Antarctic Survey

SO-AntEco: Contributing information and scientific advice to the CCAMLR South Orkney Islands MPA review

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

User Madeleine Brasier, University of Liverpool and Natural History Museum, London .

HouseBritish Antarctic Survey, Room 307.

ClockTuesday 23 May 2017, 14:00-15:00

Isaac Newton Institute Seminar Series

Nilpotent Lie groups: Fourier inversion and prime ideals

OAS - Operator algebras: subfactors and their applications

UserYing-Fen Lin (Queen's University Belfast).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 23 May 2017, 14:00-15:00

Isaac Newton Institute Seminar Series

Uniformly recurrent subgroups and rigidity of non-free minimal actions

NPC - Non-positive curvature group actions and cohomology

UserNicolas Matte Bon (ETH Zürich).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 23 May 2017, 11:00-12:00

Isaac Newton Institute Seminar Series

Affine actions, cohomology and hyperbolicity

NPC - Non-positive curvature group actions and cohomology

UserErik Guentner (University of Hawaii).

HouseSeminar Room 2, Newton Institute.

ClockTuesday 23 May 2017, 10:00-11:00

Seminars on Quantitative Biology @ CRUK Cambridge Institute

Statistical Bioinformatics at Scale

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. Alexander Schliep.

HouseCRUK CI Room 009/009A.

ClockMonday 22 May 2017, 16:00-17:00

AMOP list

Quantum metrology with Bose Einstein condensates

UserMarkus Oberthaler (Universitat Heidelberg).

HouseRyle Seminar Room (930) .

ClockMonday 22 May 2017, 15:30-17:00

British Antarctic Survey - Polar Oceans seminar series

ECCO version 4: an ocean data analysis and parameter estimation framework

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

UserGael Forget, Massachusetts Institute of Technology.

HouseBritish Antarctic Survey, Room 330B.

ClockMonday 22 May 2017, 14:00-15:00

Isaac Newton Institute Seminar Series

Thurston's Shapes of Polyhedra

NPC - Non-positive curvature group actions and cohomology

UserRichard Schwartz (Brown University).

HouseSeminar Room 2, Newton Institute.

ClockFriday 19 May 2017, 15:45-17:15

Please see above for contact details for this list.

 

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