Mobile menu icon
Skip to navigation | Skip to main content | Skip to footer
Mobile menu icon Search iconSearch
Search type

Department of Mathematics

Overhead view of people attending an event

Events in the Department of Mathematics

Find out more about events, seminars and public lectures in the Department of Mathematics.

Heilbronn Algebra Seminar - Jialin Wang

14:00 - 15:00 14 October 2025

Title: Some endotrivial modules for the symmetric group Abstract: Let G be a finite group and F a field of characteristic p > 0. An FG-module M is endotrivial if HomF(M, M) \cong F \oplus P, for some projective kG-module P. One main class of indecomposable endotrivial modules is given by \Sigma_G := {\Sigma^n(F), n \in Z}, where \Sigma denotes...

Manchester Number Theory Seminar - Kenji Terao

15:00 - 16:00 14 October 2025

Speaker: Kenji Terao (Warwick) Title: An introduction to modular curves Abstract: Modular curves are objects of central importance in arithmetic geometry, parametrizing elliptic curves with particular Galois representations. They form a key part of the proof of results such as Fermat's Last Theorem and Mazur's torsion theorem. In this talk, I...

Logic Seminar - Mathieu Anel

14:00 - 15:00 15 October 2025

Speaker: Mathieu Anel (Carnegie Mellon University) Non-univalent Universes Homotopy type theory is famous for its univalence axiom on the family of all types. To give a perspective on this condition, I will talk about non-univalent families of objects! As it happens, they are quite ubiquitous, more than univalent ones (natural numbers, ordinals,...

Training course on in situ experiments and digital volume correlation

15 - 16 October 2025

Digital Volume Correlation (DVC) is a powerful experimental technique that computes 3D full-field displacement and strain maps from volumes images acquired during a deformation process of a material. DVC is the 3D extension of Digital Image Correlation (DIC) which was first described four decades ago. The emergence of DVC started early 2000s with...

Dynamical Systems and Analysis Seminar - Paul Glendinning

14:00 - 15: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 of positive topological entropy) of families...

Mark Fricker -- Adaptive Biological Networks: from slime to society [IN PERSON]

14:00 - 15: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: Many different biological systems form...

Heilbronn Algebra Seminar - Francesca Fedele

14:00 - 15:00 21 October 2025

TBA

Manchester Number Theory Seminar - Raymond McCulloch

15:00 - 16: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 Widmer. In this talk I shall discuss the application...

DKO 2025 Lecture: Seeing Shapes in Data: How Topology Helps Us Understand Biology and Medicine by Professor Heather Harrington

17:00 - 20:00 22 October 2025

Please see the link below to register for this year’s Dame Kathleen Ollerenshaw lecture on Wednesday 22nd October 2025, 5-8pm - https://forms.office.com/e/9HAmVa619g The event will take place in Lecture Theatre A in the Roscoe Building, The University of Manchester. Registration begins at 5pm in the foyer of the building. (Directions to...

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 Quotient Inductive–Inductive Types (QIITs),...