Past events
-
Logic Seminar - Thorsten Altenkirch
14:00 - 15:00 22 October 2025
Speaker: Thorsten Altenkirch (University of Nottingham) How to Define Type Theories? Traditionally, type theories have been defined extrinsically—by sorting untyped terms. In this talk, I will present the intrinsic approach, where we never introduce untyped objects. This can be implemented using...
Read more
-
Heilbronn Algebra Seminar - Francesca Fedele
13:00 - 14:00 21 October 2025
TBA
Read more
-
Manchester Number Theory Seminar - Raymond McCulloch
14:00 - 15:00 21 October 2025
Speaker: Raymond McCulloch Title: Sharp o-minimality and lattice point counting Abstract: Since the introduction of the celebrated Pila-Wilkie theorem there have been several applications of o-minimality to point counting problems. These include a lattice point counting result due to Barroero and...
Read more
-
Mark Fricker -- Adaptive Biological Networks: from slime to society [IN PERSON]
13:00 - 14:00 20 October 2025
Join us for this seminar by Mark Fricker (Oxford) as part of the Maths in the Life Sciences seminar series (and the online North West Seminar Series in Mathematical Biology and Data Sciences in collaboration with Liverpool Universities). Title: Adaptive Biological Networks: from slime to society Abstract:...
Read more
-
Dynamical Systems and Analysis Seminar - Paul Glendinning
13:00 - 14:00 20 October 2025
Speaker: Paul Glendinning (University of Manchester) Title: The boundary of chaos and the boundary of positive Hausdorff dimension of survivor sets for two-branch maps of the interval Abstract: Two classical problems in bifurcation theory are the characterisation of the boundary of chaos (in the sense...
Read more