Past events
Dynamical Systems and Analysis Seminar - Clifford Gilmore
Speaker: Clifford Gilmore (Université Clermont Auvergne) Title: Universality of composition operat...
Mathematics of Waves and Materials Seminar - Amir Ghasemkhani
Title: Microstructure-Informed Modelling of the Achilles Tendon Using Continuum Beam Finite Elements...
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...
Logic Seminar - Zachiri McKenzie
Speaker: Zachiri McKenzie (University of Chester) Title: Transitive Containment in subsystems of se...
Probability Seminar: Ben Lees
Ben Lees (University of Leeds) will speak at the Probability seminar. Title: Discrete lattice model...