Past events
Logic Seminar - Thorsten Altenkirch
Speaker: Thorsten Altenkirch (University of Nottingham) How to Define Type Theories? Traditionally...
DKO 2025 Lecture: Seeing Shapes in Data: How Topology Helps Us Understand Biology and Medicine by Professor Heather Harrington
Please see the link below to register for this year’s Dame Kathleen Ollerenshaw lecture on Wednesd...
Heilbronn Algebra Seminar - Francesca Fedele
TBA
Manchester Number Theory Seminar - Raymond McCulloch
Speaker: Raymond McCulloch Title: Sharp o-minimality and lattice point counting Abstract: Since t...
Mark Fricker -- Adaptive Biological Networks: from slime to society [IN PERSON]
Join us for this seminar by Mark Fricker (Oxford) as part of the Maths in the Life Sciences seminar...
Dynamical Systems and Analysis Seminar - Paul Glendinning
Speaker: Paul Glendinning (University of Manchester) Title: The boundary of chaos and the boundary...
Manchester Geometry Seminar - Fraser Sanders
Speaker: Fraser Sanders (Manchester) Title: Contact Geometry in Infinite Dimensions Abstract: Symp...
Training course on in situ experiments and digital volume correlation
Digital Volume Correlation (DVC) is a powerful experimental technique that computes 3D full-field di...
Logic Seminar - Mathieu Anel
Speaker: Mathieu Anel (Carnegie Mellon University) Non-univalent Universes Homotopy type theory is...
Heilbronn Algebra Seminar - Jialin Wang
Title: Some endotrivial modules for the symmetric group Abstract: Let G be a finite group and F a f...