|
Wednesday 26th July 2017 - 11:00 to 12:00 |
Arnold Neumaier |
Concise - a synthesis of types, grammars, semantics |
INI 2 |
 |
|
Wednesday 26th July 2017 - 15:30 to 17:30 |
|
Social Proof Seminar (coordinated by Fenner Tanswell) |
INI 2 |
|
|
Thursday 27th July 2017 - 11:00 to 12:00 |
Deepak Kapur |
Parametric Groebner basis computations and elimination |
INI 2 |
|
|
Thursday 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) |
INI 2 |
|
|
Thursday 27th July 2017 - 16:30 to 17:30 |
Benedikt Ahrens |
Categorical structures for type theory in univalent foundations" |
INI 2 |
|
|
Monday 7th August 2017 - 10:00 to 11:00 |
Robin Johnson |
Physical oceanography: an applied mathematician's approach |
INI 1 |
|
|
Monday 7th August 2017 - 11:30 to 12:30 |
Gareth Thomas |
Conservation relations for two-dimensional wave-current interactions |
INI 1 |
|
|
Monday 7th August 2017 - 13:30 to 14:30 |
Alexandru Ionescu |
On long term regularity of water wave models |
INI 1 |
|
|
Monday 7th August 2017 - 14:30 to 15:30 |
Hisashi Okamoto |
Some thoughts on the role of the convection terms in the fluid mechanical PDEs. |
INI 1 |
|
|
Monday 7th August 2017 - 16:00 to 17:00 |
Andre Nachbin |
Capturing the flow structure beneath water waves |
INI 1 |
|
