Events in the Department of Mathematics
Find out more about events, seminars and public lectures in the Department of Mathematics.
Heilbronn Algebra Seminar - Paolo Marimon
Title: All mixed identities are singular in groups with no algebraicity. Abstract: We show that if a group admits an action with no algebraicity, then all of its mixed identities are singular. This generalises a theorem of Abért showing such groups are lawless. Our result confirms a conjecture of Bodirsky, Schneider, and Thom for a large class...
Training course on in situ experiments and digital volume correlation
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...
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...
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...
