[DAMTP/CMS Seminars RSS feed] DAMTP/CMS Seminars

Today 10:00

Categorified knot invariants and algebraic geometry
Andrei Negut (Massachusetts Institute of Technology)
Isaac Newton Institute Seminar Series

Today 11:00

Effectivity and Complexity Results in Hilbert's 17th problem Marie-Françoise Roy Université de Rennes 1, France
Marie-Françoise Roy (Universitéde Rennes 1; Universitéde Renn
Isaac Newton Institute Seminar Series

Today 11:30

Categorical diagonalization
Matthew Hogancamp (University of Southern California)
Isaac Newton Institute Seminar Series

Tomorrow 10:00

2-Verma modules and the Khovanov-Rozansky link homologies
Pedro Vaz (UniversitéCatholique de Louvain )
Isaac Newton Institute Seminar Series

Tomorrow 11:00

Metaprogramming in Lean
Jeremy Avigad (Carnegie Mellon University)
Isaac Newton Institute Seminar Series

Tomorrow 11:30

Non-multiplicative TQFTs and diagrammatic categorifications of the polynomial ring
Radmila Sazdanovic (North Carolina State University)
Isaac Newton Institute Seminar Series