Seminars are only broadcast if the speaker has granted permission. Streams may not be available until the seminar begins.
Today's Seminars
No seminars have been scheduled in this period.
Upcoming Seminars
| When | Speaker | Title | Seminar Room | Watch Live |
|---|---|---|---|---|
| Monday 24th July 2017 - 10:30 to 12:00 | Natarajan Shankar & Leonardo de Moura & Arnold Neumaier & Cesare Tinelli | Language and automation in mathematics | INI 2 |
 |
| Monday 24th July 2017 - 15:30 to 17:30 | Jeremy Avigad | Big Proof & Education | INI 2 |
|
| Tuesday 25th July 2017 - 11:00 to 12:00 | Yves Bertot | Building blocks towards modeling the physical world: analysis, geometry, computer arithmetics | INI 2 |
|
| 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 - 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 |
|
