Events in the Department of Mathematics
Find out more about events, seminars and public lectures in the Department of Mathematics.
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...
Probability Seminar: Yihan Zhang
Yihan Zhang (University of Bristol) will speak at the Probability seminar. Title: Eigenvalue and Eigenvector Approximation for Random Matrices Using Low-Degree Polynomials Abstract: We initiate the study of approximating the top eigenvalue and eigenvector of a random symmetric matrix $ A \in \mathbb{R}^{n\times n} $ using $ q(A)b $ where $q$...
Dynamical Systems and Analysis Seminar - Clifford Gilmore
Speaker: Clifford Gilmore (Université Clermont Auvergne) Title: Universality of composition operators and applications to complex dynamics Abstract: Birkhoff uncovered the first example of a universal operator in 1929, when he showed that translations acting on the space of entire functions can display a maximally divergent behaviour. It was...
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...
SQUIDS Seminar: Romina Gaburro
Speaker: Romina Gaburro (University of Limerick) Title and abstract will appear here soon.
