skip to content
 

Watch Online

Information:

Seminars are only broadcast if the speaker has granted permission. Streams may not be available until the seminar begins.

Browse or search the seminar archive.

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
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons