University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series

Isaac Newton Institute Seminar Series

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

The Isaac Newton Institute for Mathematical Sciences is a national and international visitor research institute. It runs research programmes on selected themes in mathematics and the mathematical sciences with applications over a wide range of science and technology. You can receive regular information by email on Institute seminars and events by subscribing to our mailing lists: follow the instructions at http://www.newton.cam.ac.uk/mailing.html. There are lists for each individual Institute programme.

Tell a friend about this list:

If you have a question about this list, please contact: Jonathan H N Chin; Chie Sibley Obata; Kathryn de Ridder; Clare Merritt; info@newton.ac.uk; Vincenzo Abete; ss917; ad864. If you have a question about a specific talk, click on that talk to find its organiser.

19 upcoming talks and 7375 talks in the archive: show first 500.

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

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

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

Social Proof Seminar (coordinated by Fenner Tanswell)

BPR - Big proof

User.

HouseSeminar Room 2, Newton Institute.

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

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

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

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

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

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

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

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

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

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

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

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

Head-on and rear-end collisions of two unequal solitary waves in a large wave tank

NWWW01 - Nonlinear water waves

UserMotohiko Umeyama (Tokyo Metropolitan University).

HouseSeminar Room 1, Newton Institute.

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

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

NWWW01 - Nonlinear water waves

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

HouseSeminar Room 1, Newton Institute.

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

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

tba

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

Please see above for contact details for this list.

 

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