A double bill of big hitters for this annual lecture from the Department of Computer Science.
Leo De Moura (Amazon Web Services)- Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI
Kevin Buzzard (Imperial College) - Will Computers prove theorems?
14:30, Lecture Theatre 1, Mathematical Institute
We're looking for mentors and projects for online research projects with Africa. This scheme matches mentors with Master’s-level students in sub-Saharan Africa who are not currently enrolled in a PhD programme; through a combination of research experience and skills training, the scheme aims to empower students to make competitive graduate applications in Africa and elsewhere.
Tanniemola Liverpool's recent Public Lecture is now online.
The next Public Lecture on 30 April will feature Gábor Domokos, the 'father' of the Gömböc.
The shortlist for the Vice-Chancellor’s Awards 2025 saw 160 award entries across the 11 categories this year, including 1,300 individuals.
More information in the link below but to save you hacking through the often baffling list, just to let you know that our own Joshua Bull is nominated in the Breakthrough Researcher Award category. This recognises researchers at the early stages of their careers who have made a significant impact at the University.
11:15
Positive geometries and canonical forms via mixed Hodge theory
Abstract
''Positive geometries'' are a class of semi-algebraic domains which admit a unique ''canonical form'': a logarithmic form whose residues match the boundary structure of the domain. The study of such geometries is motivated by recent progress in particle physics, where the corresponding canonical forms are interpreted as the integrands of scattering amplitudes. We recast these concepts in the language of mixed Hodge theory, and identify ''genus zero pairs'' of complex algebraic varieties as a natural and general framework for the study of positive geometries and their canonical forms. In this framework, we prove some basic properties of canonical forms which have previously been proved or conjectured in the literature. We give many examples and study in detail the case of arrangements of hyperplanes and convex polytopes.
15:30