Past events
-
NASC Seminar: LeanFun: formalised, verified spectral methods and the trouble with numerics in Lean
11:00 - 12:00 23 October 2026
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...
Read more
-
Mathematics of Waves and Materials Seminar - Yuze Huang
14:00 - 15:00 22 October 2026
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...
Read more
-
FBMH Academic Development Programme - Active Learning and Student Engagement (Foundation Level)
13:00 - 15:30 21 October 2026
If you’ve ever felt awkward during long periods of silence or worried about not being the expert in the room, you’re not alone. Many educators share these concerns. The good news is, you don’t need to have all the answers—you can create an environment where your role is to facilitate students’...
Read more
-
Statistics Seminar - Hera Shi (UCL)
13:00 - 14:00 21 October 2026
Title: Empirical Bayes Transfer Learning for Cross-Ancestry Mendelian Randomization Abstract: Limited genome-wide association study (GWAS) sample sizes in underrepresented populations can reduce the precision of Mendelian randomization (MR) through uncertainty in instrument strengths. Associations from...
Read more
-
Logic Seminar - Zachiri McKenzie
21 - 27 October 2026
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...
Read more