skip to content
 

Upcoming Seminars

Unable to attend an INI seminar?
Most seminars are streamed live as well as being archived for later viewing.

Watch online Search archive

Event When Speaker Title
BPR 24th July 2017
10:30 to 12:00
Natarajan Shankar, Leonardo de Moura, Arnold Neumaier, Cesare Tinelli Language and automation in mathematics
BPR 24th July 2017
15:30 to 17:30
Jeremy Avigad Big Proof & Education
BPR 25th July 2017
11:00 to 12:00
Yves Bertot Building blocks towards modeling the physical world: analysis, geometry, computer arithmetics
BPR 26th July 2017
11:00 to 12:00
Arnold Neumaier Concise - a synthesis of types, grammars, semantics
BPR 26th July 2017
15:30 to 17:30
Social Proof Seminar (coordinated by Fenner Tanswell)
BPR 27th July 2017
15:30 to 16:30
Vladimir Voevodsky Simplicial and cubical sets - how they relate to each other (joint work with Chris Kapulkin)
BPR 27th July 2017
16:30 to 17:30
Benedikt Ahrens Categorical structures for type theory in univalent foundations"
NWWW01 7th August 2017
10:00 to 11:00
Robin Johnson Physical oceanography: an applied mathematician's approach
NWWW01 7th August 2017
11:30 to 12:30
Gareth Thomas Conservation relations for two-dimensional wave-current interactions
NWWW01 7th August 2017
13:30 to 14:30
Alexandru Ionescu On long term regularity of water wave models
NWWW01 7th August 2017
14:30 to 15:30
Hisashi Okamoto Some thoughts on the role of the convection terms in the fluid mechanical PDEs.
NWWW01 7th August 2017
16:00 to 17:00
Charles Fefferman tba
NWWW01 8th August 2017
09:00 to 10:00
John Grue Nonlinear surface waves at finite depth with and without surface cover
NWWW01 8th August 2017
10:00 to 11:00
Emilian I Parau Numerical study of solitary waves under continuous or fragmented ice plates
NWWW01 8th August 2017
11:30 to 12:30
Motohiko Umeyama Head-on and rear-end collisions of two unequal solitary waves in a large wave tank
NWWW01 8th August 2017
13:30 to 14:30
Andre Nachbin Capturing the flow structure beneath water waves
NWWW01 8th August 2017
14:30 to 15:30
Michael Stiassnie Harnessing wave-power in open seas
NWWW01 8th August 2017
16:00 to 17:00
Eugen Varvaruca tba
NWWW01 8th August 2017
17:00 to 18:00
Vladimir Vladimirov Craik-Leibovich Equation, Distinguished Limits, Drifts, and Pseudo-Diffusion
NWWW01 9th August 2017
09:00 to 10:00
Tatsuo Iguchi Isobe-Kakinuma model for water waves as a higher order shallow water approximation
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons