COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |
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 Arnold Neumaier (UniversitÃ¤t Wien). Seminar Room 2, Newton Institute. Wednesday 26 July 2017, 11:00-12:00 An overview of the Flyspeck projectBPR - Big proof Thomas Hales (University of Pittsburgh). Seminar Room 2, Newton Institute. Wednesday 26 July 2017, 14:30-15:30 Modelling the way mathematics is actually doneBPR - Big proof Joe Corneli (University of Edinburgh; University of London). Seminar Room 2, Newton Institute. Wednesday 26 July 2017, 15:30-16:30 Social Proof Seminar (coordinated by Fenner Tanswell)BPR - Big proof . Seminar Room 2, Newton Institute. Wednesday 26 July 2017, 16:30-17:30 Parametric Groebner basis computations and eliminationBPR - Big proof Deepak Kapur (University of New Mexico). Seminar Room 2, Newton Institute. Thursday 27 July 2017, 11:00-12:00 Automated theorem proving in first-order logic: from superposition to instantiationBPR - Big proof Konstantin Korovin (University of Manchester). Seminar Room 2, Newton Institute. Thursday 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 Vladimir Voevodsky (Institute for Advanced Study, Princeton). Seminar Room 2, Newton Institute. Thursday 27 July 2017, 15:30-16:30 Categorical structures for type theory in univalent foundations"BPR - Big proof Benedikt Ahrens (INRIA Rennes - Bretagne Atlantique). Seminar Room 2, Newton Institute. Thursday 27 July 2017, 16:30-17:30 Physical oceanography: an applied mathematician's approachNWWW01 - Nonlinear water waves Robin Johnson (Newcastle University). Seminar Room 1, Newton Institute. Monday 07 August 2017, 10:00-11:00 Conservation relations for two-dimensional wave-current interactionsNWWW01 - Nonlinear water waves Gareth Thomas (University College Cork). Seminar Room 1, Newton Institute. Monday 07 August 2017, 11:30-12:30 On long term regularity of water wave modelsNWWW01 - Nonlinear water waves Alexandru Ionescu (Princeton University). Seminar Room 1, Newton Institute. Monday 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 Hisashi Okamoto (Gakushuin University). Seminar Room 1, Newton Institute. Monday 07 August 2017, 14:30-15:30 Capturing the flow structure beneath water wavesNWWW01 - Nonlinear water waves Andre Nachbin (IMPA - Instituto Nacional de MatemÃ¡tica Pura e Aplicada, Rio de Janeiro). Seminar Room 1, Newton Institute. Monday 07 August 2017, 16:00-17:00 Nonlinear surface waves at finite depth with and without surface coverNWWW01 - Nonlinear water waves John Grue (University of Oslo). Seminar Room 1, Newton Institute. Tuesday 08 August 2017, 09:00-10:00 Numerical study of solitary waves under continuous or fragmented ice platesNWWW01 - Nonlinear water waves Emilian I Parau (University of East Anglia). Seminar Room 1, Newton Institute. Tuesday 08 August 2017, 10:00-11:00 Head-on and rear-end collisions of two unequal solitary waves in a large wave tankNWWW01 - Nonlinear water waves Motohiko Umeyama (Tokyo Metropolitan University). Seminar Room 1, Newton Institute. Tuesday 08 August 2017, 11:30-12:30 Craik-Leibovich Equation, Distinguished Limits, Drifts, and Pseudo-DiffusionNWWW01 - Nonlinear water waves Vladimir Vladimirov (University of York; University of York). Seminar Room 1, Newton Institute. Tuesday 08 August 2017, 13:30-14:30 Harnessing wave-power in open seasNWWW01 - Nonlinear water waves Michael Stiassnie (Technion - Israel Institute of Technology). Seminar Room 1, Newton Institute. Tuesday 08 August 2017, 14:30-15:30 tbaNWWW01 - Nonlinear water waves Eugen Varvaruca (Universitatea Alexandru Ioan Cuza; University of Reading). Seminar Room 1, Newton Institute. Tuesday 08 August 2017, 16:00-17:00 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 |