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

Time Speaker Title Seminar Room Watch Live
10:30 to 12:00 Natarajan Shankar, Leonardo de Moura, Arnold Neumaier, Cesare Tinelli Language and automation in mathematics INI 2
15:30 to 17:30 Jeremy Avigad Big Proof & Education INI 2

Upcoming Seminars

When Speaker Title Seminar Room Watch Live
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
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 Charles Fefferman tba INI 1
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons