Past research seminars
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...
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...
SQUIDS Seminar: Sean Holman
Speaker: Sean Holman (University of Manchester) Title: Confidence intervals for Landweber reconstru...
Susanna Röblitz --Stochasticity in regulatory networks: A key for cellular differentiation and reproductive success [IN PERSON]
Join us for this seminar by Susanna Röblitz (Bergen) as part of the Maths in the Life Sciences semi...
Logic Seminar - Jennifer Pi
Speaker: Jennifer Pi (University of Oxford) Title: An invitation to model theory for operator algeb...