Research seminars
We maintain a varied and collaborative series of seminars across our research areas.
Seminar series
- Algebra
- Applied maths (informal)
- Dynamical Systems and Analysis
- Education
- Geometry, topology and mathematical physics
- Logic
- Mathematics in the life sciences
- Mathematics of waves and materials
- Number theory
- Numerical analysis and scientific computing
- Physical applied mathematics
- Probability and statistics
- Pure postgraduate seminar
- Statistics, inverse problems, uncertainty quantification and data science
Logic Seminar - Zachiri McKenzie
Speaker: Zachiri McKenzie (University of Chester) Title: Transitive Containment in subsystems of set theory Abstract: Transitive Containment (TCo) says that every set is contained in a transitive set. Students usually encounter an elementary proof of this fact in Zermelo-Fraenkel Set Theory (ZF) early on in an undergraduate course in set the..
Probability Seminar: Ben Lees
Ben Lees (University of Leeds) will speak at the Probability seminar. Title: Discrete lattice models as complex spin systems Abstract: It has long been known that some important spin systems on lattices, such as the spin-O(N) model, have representations in terms of discrete structures (loops, paths etc) on the lattice. This has been a fruitf..
SQUIDS Seminar: Sean Holman
Speaker: Sean Holman (University of Manchester) Title: Confidence intervals for Landweber reconstruction using randomised normal operator approximation Abstract: We analyse the propagation of error through the Landweber iteration, establishing confidence regions with statistical coverage guarantees. For large problems, calculation of the con..
Mathematics of Waves and Materials Seminar - Yuze Huang
Title: Metal additive manufacturing: From melt pools to metal structures By Yuze Huang (Lecturer in laser manufacturing, Department of Mechanical and Aerospace Engineering, University of Manchester) Abstract: Metal additive manufacturing offers unprecedented opportunities to produce complex and high-performance metallic structures, yet ac..
NASC Seminar: LeanFun: formalised, verified spectral methods and the trouble with numerics in Lean
Speaker: Timon Gutleb (Leeds) Abstract: LeanFun is an experimental project to formalise orthogonal polynomials, special functions and the mathematics underlying spectral methods in Lean. Its goal is to develop a reusable foundation for methods found in software such as Chebfun and ApproxFun, alongside a readable mathematical reference connect..
Manchester Number Theory Seminar - Daniel Shiu (Manchester)
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. A finite subset H={eta_1,...,eta_k} of O_K is said to be admissible if for every prime ideal P in O_K, the reductions of the eta_i modulo P do not represent every..
Logic Seminar - Raheleh Jalali
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 in the classical sequent calculus remains a longstanding open problem in proof complexity. In this work, we revisit this problem through the lens of substructura..
Logic Seminar - Andrew Brooke-Taylor
Speaker: Andrew Brooke-Taylor (University of Leeds) TBA
SQUIDS Seminar: Bill Lionheart
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 look for an analytical form of the singular value decomposition of some simplified linearized case. I would like to report some modest progress..... An interest..
Logic Seminar - Andrew Brooke-Taylor
Speaker: Paul Levy (University of Birmingham) TBA