Events in the Department of Mathematics
Find out more about events, seminars and public lectures in the Department of Mathematics.
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: Admissible sets of integers in imaginary quadratic fields of class number 1 Abstract: Let O_K be the ring of integers of a number field K. A finite subset H={eta_1,...,eta_k} of O_K is said to be admissible if for every prime ideal P in O_K, the reductions of the eta_i modulo P do not represent every...
Logic Seminar - Raheleh Jalali
Speaker: Raheleh Jalali (University of Bath) Title: The Power of Structural Rules: Proof-Size Lower Bounds for Linear Logics Abstract: Proving non-trivial lower bounds on proof size in the classical sequent calculus remains a longstanding open problem in proof complexity. In this work, we revisit this problem through the lens of substructural...
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...
Logic Seminar - Andrew Brooke-Taylor
Speaker: Andrew Brooke-Taylor (University of Leeds) TBA
SQUIDS Seminar: Bill Lionheart
Speaker: Bill Lionheart (University of Manchester) Title: At last an SVD for EIT Abstract: 40 years ago when I started working on Electrical Impedance Tomography I thought I should look for an analytical form of the singular value decomposition of some simplified linearized case. I would like to report some modest progress..... An interesting...
Logic Seminar - Andrew Brooke-Taylor
Speaker: Paul Levy (University of Birmingham) TBA
Training course on advanced scripting and batching of tomographic datasets
Although X-ray tomography is an attractive characterisation technique in materials science, it generates a huge amount of data at a fast rate and it can be extremely time consuming to process the data manually. A great benefit to creating scripts and plugins in Avizo is the ability to reuse a workflow on more than one image or to develop a bespoke...
