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