Past events
Logic Seminar - Raheleh Jalali
Speaker: Raheleh Jalali (University of Bath) Title: The Power of Structural Rules: Proof-Size Lower...
Probability Seminar: Yihan Zhang
Yihan Zhang (University of Bristol) will speak at the Probability seminar. Title: Eigenvalue and Ei...
Heilbronn Algebra Seminar - Adam Jones
Title: Unique factorisation in power series rings Abstract: Let R be a unique factorisation domain...
Manchester Number Theory Seminar - Daniel Shiu (Manchester)
Speaker: Daniel Shiu (Manchester) Title: Admissible sets of integers in imaginary quadratic fields...
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...
Mathematics of Waves and Materials Seminar - Yuze Huang
Title: Metal additive manufacturing: From melt pools to metal structures By Yuze Huang (Lecturer in...
SQUIDS Seminar: Sean Holman
Speaker: Sean Holman (University of Manchester) Title: Confidence intervals for Landweber reconstru...
Probability Seminar: Ben Lees
Ben Lees (University of Leeds) will speak at the Probability seminar. Title: Discrete lattice model...
Logic Seminar - Zachiri McKenzie
Speaker: Zachiri McKenzie (University of Chester) Title: Transitive Containment in subsystems of se...
Heilbronn Algebra Seminar - Paolo Marimon
Title: All mixed identities are singular in groups with no algebraicity. Abstract: We show that if...