|![[Search]](http://talks.cam.ac.uk/images/search.gif?1209136071)
|![[A-Z Index]](http://talks.cam.ac.uk/images/az.gif?1209136071)
|![[Contact]](http://talks.cam.ac.uk/images/contact.gif?1209136071)
||![[University of Cambridge]](http://talks.cam.ac.uk/images/identifier2.gif?1209136071){kind=small} |
COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. | ![[Talks.cam]](http://talks.cam.ac.uk/images/talkslogosmall.gif?1209136071) |
Isaac Newton Institute Seminar Series
Add to your list(s)
Send you e-mail reminders
Further detail
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. 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, semanticsBPR - Big proof
An overview of the Flyspeck projectBPR - Big proof
Modelling the way mathematics is actually doneBPR - Big proof
Social Proof Seminar (coordinated by Fenner Tanswell)BPR - Big proof
Parametric Groebner basis computations and eliminationBPR - Big proof
Automated theorem proving in first-order logic: from superposition to instantiationBPR - Big proof
Simplicial and cubical sets - how they relate to each other (joint work with Chris Kapulkin)BPR - Big proof
Categorical structures for type theory in univalent foundations"BPR - Big proof
Physical oceanography: an applied mathematician's approachNWWW01 - Nonlinear water waves
Conservation relations for two-dimensional wave-current interactionsNWWW01 - Nonlinear water waves
On long term regularity of water wave modelsNWWW01 - Nonlinear water waves
Some thoughts on the role of the convection terms in the fluid mechanical PDEs.NWWW01 - Nonlinear water waves
Capturing the flow structure beneath water wavesNWWW01 - Nonlinear water waves
Nonlinear surface waves at finite depth with and without surface coverNWWW01 - Nonlinear water waves
Numerical study of solitary waves under continuous or fragmented ice platesNWWW01 - Nonlinear water waves
Head-on and rear-end collisions of two unequal solitary waves in a large wave tankNWWW01 - Nonlinear water waves
Craik-Leibovich Equation, Distinguished Limits, Drifts, and Pseudo-DiffusionNWWW01 - Nonlinear water waves
Harnessing wave-power in open seasNWWW01 - Nonlinear water waves
tbaNWWW01 - Nonlinear water waves
Please see above for contact details for this list. |
Other listsCRUK Graduate Training Programme in Medicinal Chemistry BlueSci Talks European Research Seminar Series 2014-2015Other talks'Ways of Reading, Looking, and Imagining: Contemporary Fiction and Its Optics' Concise - a synthesis of types, grammars, semantics Cambridge Rare Disease Summit 2017 How Can NLP Help Cure Cancer? Harnessing wave-power in open seas Near-Surface Crystallization And Phase Behavior In Polymers |
Arnold Neumaier (Universität Wien).
Wednesday 26 July 2017, 11:00-12:00