Unable to attend an INI seminar?
Most seminars are streamed live as well as being archived for later viewing.
| Event | When | Speaker | Title |
|---|---|---|---|
| NPCW05 |
23rd June 2017 09:00 to 10:00 |
Bill Goldman | The dynamics of classifying geometric structures |
| NPCW05 |
23rd June 2017 10:00 to 11:00 |
Kevin Schreve | Action dimension and L^2 Cohomology |
| NPCW05 |
23rd June 2017 11:30 to 12:30 |
Christopher Leininger | Free-by-cyclic groups and trees |
| NPCW05 |
23rd June 2017 13:30 to 14:30 |
Grigori Avramidi | Topology of ends of nonpositively curved manifolds |
| NPCW05 |
23rd June 2017 14:30 to 15:30 |
Karen Vogtmann | The borders of Outer space |
| 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 | tba |
| 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 | tba |
| 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 13:30 to 14:30 |
Radmila Sazdanovic | Non-multiplicative TQFTs and diagrammatic categorifications of the polynomial ring |
| 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 |
