Events in the Department of Mathematics
Find out more about events, seminars and public lectures in the Department of Mathematics.
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 theory....
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 fruitful...
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 confidence...
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 achieving...
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 connecting...
Manchester Number Theory Seminar - Daniel Shiu (Manchester)
Speaker: Daniel Shiu (Manchester) Title: TBA Abstract: TBA Room: Frank Adams 1, Alan Turing Building
Logic Seminar - Raheleh Jalali
Speaker: Raheleh Jalali (University of Bath) TBA
Heilbronn Algebra Seminar - Bim Gustavsson
TBA
AI Fun with ELLIS Invited Speaker Series | Aurelien Bibaut
Our invited speaker on 11 November will be Aurelien Bibaut from Netflix. Title: Safe Adaptive Policy Learning Abstract: Offline policy learning can require less information than accurate estimation of the full environment. We provide a two-step offline policy learning procedure that constructs policy proposals on one data split and selects a...
Logic Seminar - Andrew Brooke-Taylor
Speaker: Andrew Brooke-Taylor (University of Leeds) TBA
