(Maths) Maths seminar series

Mathematics of Waves and Materials Seminar - Yuze Huang

15:00 - 16:00 22 October 2026
Title: Metal additive manufacturing: From melt pools to metal structures By Yuze Huang (Lecturer in laser manufacturing, Department of Mechanical and Aerospace Engineering, University…

NASC Seminar: LeanFun: formalised, verified spectral methods and the trouble with numerics in Lean

12:00 - 13:00 23 October 2026
Speaker: Timon Gutleb (Leeds) Abstract: LeanFun is an experimental project to formalise orthogonal polynomials, special functions and the mathematics underlying spectral methods in…

Manchester Number Theory Seminar - Daniel Shiu (Manchester)

15:00 27 October 2026
Speaker: Daniel Shiu (Manchester) Title: Admissible sets of integers in imaginary quadratic fields of class number 1 Abstract: Let O_K be the ring of integers of a number field K.…

Logic Seminar - Raheleh Jalali

15:00 28 October 2026
Speaker: Raheleh Jalali (University of Bath) Title: The Power of Structural Rules: Proof-Size Lower Bounds for Linear Logics Abstract: Proving non-trivial lower bounds on proof size…

Logic Seminar - Andrew Brooke-Taylor

15:00 11 November 2026
Speaker: Andrew Brooke-Taylor (University of Leeds) TBA

SQUIDS Seminar: Bill Lionheart

15:00 11 November 2026
Speaker: Bill Lionheart (University of Manchester) Title: At last an SVD for EIT Abstract: 40 years ago when I started working on Electrical Impedance Tomography I thought I should…

Logic Seminar - Andrew Brooke-Taylor

15:00 18 November 2026
Speaker: Paul Levy (University of Birmingham) TBA

SQUIDS Seminar: Romina Gaburro

15:00 2 December 2026
Speaker: Romina Gaburro (University of Limerick) Title and abstract will appear here soon.

The Whitworth

Jodrell Bank

Martin Harris Centre

The John Rylands Library

Manchester Museum

Search