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
Tuesday 27th June 2017 - 13:30 to 14:30 Andrew Pitts Using Agda to Explore Path-Oriented Models of Type Theory INI 2
Tuesday 27th June 2017 - 14:30 to 15:30 Ben Webster Representation theory and the Coulomb branch INI 1
Tuesday 27th June 2017 - 16:00 to 17:00 Paul Wedrich On colored link homologies INI 1
Wednesday 28th June 2017 - 10:00 to 11:00 Andrei Negut Categorified knot invariants and algebraic geometry INI 1
Wednesday 28th June 2017 - 11:00 to 12:00 Marie-Françoise Roy title tba INI 2
Wednesday 28th June 2017 - 11:30 to 12:30 Matthew Hogancamp tba INI 1
Thursday 29th June 2017 - 10:00 to 11:00 Pedro Vaz 2-Verma modules and the Khovanov-Rozansky link homologies INI 1
Thursday 29th June 2017 - 11:00 to 12:00 Jeremy Avigad Metaprogramming in Lean INI 2
Thursday 29th June 2017 - 11:30 to 12:30 Lukas Lewark An Upsilon-like invariant from Khovanov-Rozansky homology INI 1
Thursday 29th June 2017 - 13:30 to 14:30 Daniel Tubbenhauer Some webs and q-Howe dualities in types BCD INI 1
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons