skip to content
 

Upcoming Seminars

Unable to attend an INI seminar?
Most seminars are streamed live as well as being archived for later viewing.

Watch online Search archive

Event When Speaker Title
HTLW04 26th June 2017
10:00 to 11:00
Christian Blanchet Non semisimple TQFTs from quantum sl(2)
BPR 26th June 2017
11:00 to 12:00
Natarajan Shankar The Big Proof Agenda for Mechanizing Mathematical Discourse
HTLW04 26th June 2017
11:30 to 12:30
Zsuzsanna Dancso Lattices and Homological Algebra
HTLW04 26th June 2017
13:30 to 14:30
Peter Samuelson Hall algebras and Fukaya categories
HTLW04 26th June 2017
14:30 to 15:30
David Rose Traces, current algebras, and link homologies
HTLW04 26th June 2017
16:00 to 17:00
Hoel Queffelec Around Chebyshev's polynomial and the skein algebra of the torus
HTLW04 27th June 2017
10:00 to 11:00
Mikhail Khovanov How to categorify the ring of integers localized at two
BPR 27th June 2017
11:00 to 12:00
Thierry Coquand Univalent type theory and modular formalisation of mathematics
HTLW04 27th June 2017
11:30 to 12:30
Vanessa Miemietz Introduction to p-dg 2-representation theory
HTLW04 27th June 2017
13:30 to 14:30
Radmila Sazdanovic Non-multiplicative TQFTs and diagrammatic categorifications of the polynomial ring
BPR 27th June 2017
13:30 to 14:30
Andrew Pitts Using Agda to Explore Path-Oriented Models of Type Theory
HTLW04 27th June 2017
14:30 to 15:30
Ben Webster Representation theory and the Coulomb branch
HTLW04 27th June 2017
16:00 to 17:00
Paul Wedrich On colored link homologies
HTLW04 28th June 2017
10:00 to 11:00
Andrei Negut Categorified knot invariants and algebraic geometry
BPR 28th June 2017
11:00 to 12:00
Marie-Françoise Roy title tba
HTLW04 28th June 2017
11:30 to 12:30
Matthew Hogancamp tba
HTLW04 29th June 2017
10:00 to 11:00
Pedro Vaz 2-Verma modules and the Khovanov-Rozansky link homologies
BPR 29th June 2017
11:00 to 12:00
Jeremy Avigad Metaprogramming in Lean
HTLW04 29th June 2017
11:30 to 12:30
Lukas Lewark An Upsilon-like invariant from Khovanov-Rozansky homology
HTLW04 29th June 2017
13:30 to 14:30
Daniel Tubbenhauer Some webs and q-Howe dualities in types BCD
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons