Thu | Oct 21 | 17:00 | Chris Kapulkin | Cubical setting for Discrete Homotopy Theory | |

Thu | Oct 14 | 17:00 | Andreas Blass | A topos view of axioms of choice for finite sets | |

Thu | Oct 07 | 15:00 | Anders Mortberg | Cubical Methods in Homotopy Type Theory and Univalent Foundations | |

Thu | Sep 30 | 15:00 | Pawel Sobocinski | Algebraic theories with string diagrams | |

Thu | Sep 23 | 17:00 | Andrew J. Blumberg | Abstract homotopy theory for topological data analysis | |

Thu | Sep 16 | 17:00 | Jamie Vicary | Understanding free infinity-categories | |

Thu | Sep 09 | 17:00 | John Bourke | Tensor products, multimaps and internal homs | |

Thu | Sep 02 | 17:00 | Florian Rabe | MMT: A UniFormal Approach to Knowledge Representation | |

Thu | Aug 26 | 17:00 | Conor McBride | Cats and Types: Best Friends? | |

Thu | Aug 19 | 17:00 | Valeria de Paiva | Categorical Explicit Substitutions | |

Thu | Aug 12 | 17:00 | Kevin Buzzard | What is the point of Lean's maths library? | |

Thu | Aug 05 | 17:00 | Todd Trimble | From 2-rigs to lambda-rings | |

Thu | Jul 29 | 22:00 | Marcy Robertson | Topological Inspiration for Infinity Modular Operads | |

Thu | Jul 22 | 17:00 | Walter P Tholen | What is monoidal topology? | |

Thu | Jul 08 | 17:00 | Geoffrey Cruttwell | Categorical differential structures and their role in abstract machine learning | |

Thu | Jul 01 | 17:00 | Lawrence Paulson | Formalising Contemporary Mathematics in Simple Type Theory | |

Thu | Jun 24 | 18:00 | Kathryn Hess | From comonads to calculus | |

Thu | Jun 17 | 17:00 | Chris Heunen | Sheaf representation of monoidal categories | |

Thu | Jun 10 | 17:00 | Eugene Lerman | A category of hybrid systems | |

Thu | Jun 03 | 17:00 | Steve Awodey | Model Structures from Models of HoTT | |

Thu | May 27 | 17:00 | Michael Shulman | Two-dimensional semantics of homotopy type theory | |

Thu | May 20 | 17:00 | Tobias Fritz | The law of large numbers in categorical probability | |

Thu | May 13 | 17:00 | Maria Emilia Maietti | Quotient completions for topos-like structures | |

Thu | May 06 | 17:00 | Emily Riehl | Contractibility as uniqueness | |

Thu | Apr 29 | 17:00 | Jonathan Gorard | Fast Diagrammatic Reasoning and Compositional Approaches to Fundamental Physics | |

Thu | Apr 22 | 17:00 | Shaowei Lin | Proofs as programs: challenges and strategies for program synthesis | |

Thu | Apr 15 | 17:00 | Asgar Jamneshan | Topos theory and measurability | |

Thu | Apr 08 | 17:00 | Joachim Kock | Noncrossing hyperchords and free probability | |

Thu | Apr 01 | 17:00 | Dan Christensen | Reasoning in an ∞-topos with homotopy type theory | |

Thu | Mar 25 | 18:00 | John Baez | Mathematics in the 21st century | |

Thu | Mar 11 | 17:00 | Samson Abramsky | The logic of contextuality | |

Thu | Feb 18 | 17:00 | Gunnar E. Carlsson | Relative topology, motion planning, and coverage problems | |

Thu | Feb 11 | 21:00 | Richard Garner | Comodels of an algebraic theory | |

Thu | Feb 04 | 17:00 | David Spivak | Poly: a category of remarkable abundance | |