Past events
-
Heilbronn Algebra Seminar - Tim Burness
14:00 - 15:00 28 October 2025
Title: Simple groups, nilpotent subgroups and their intersections Abstract: Let G be a finite group, let p be a prime and let H be a Sylow p-subgroup. Problems concerning the intersections of Sylow subgroups have been studied for many decades. For example, a theorem of Ito from 1958 shows that if...
Read more
-
Dynamical Systems and Analysis Seminar - Jonathan Fraser
14:00 - 15:00 27 October 2025
Speaker: Jonathan Fraser (University of St Andrews) Title: Dimensions of orbital sets in complex dynamics Abstract: Let E be a non-empty compact subset of the Riemann sphere and T be a rational map of degree at least two. The associated orbital set is defined to be the backwards orbit of E under T....
Read more
-
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