Wed, 04 Nov 2026
11:30
11:30
C6
Thu, 03 Dec 2026
17:00
17:00
L3
Truth, proof, and AI: AI and the V challenge
Hugh Woodin
(Harvard)
Abstract
AI systems have become very good at proving theorems with recent successes far beyond what was envisioned as possible even just 2 years ago. This in the last month has included theorems even in Set Theory (where the training data is far more limited). But the Universe of Sets, V, presents a unique challenge for AI.
Mon, 19 Oct 2026
16:00
16:00
C4
Hermitian duals and the local Langlands correspondence
Maximilien MacKie
(University of Oxford)
Abstract
The local Langlands correspondence is a conjectural relation between the representations of a p-adic group and its L-parameters (which one can think of as representations of a `dual' group). Given a representation, it is natural to construct the hermitian dual representation. In this talk we present an explicit conjectural local Langlands correspondence, beyond the tempered case and including enhancements. We then show, assuming this conjecture, that constructing the hermitian dual corresponds to twisting its enhanced L-parameter by the compact real form on the dual group, generalising a result of Adams and Vogan. If time permits we will also show that standard desiderata of the local Langlands correspondence are in fact equivalent to this compatibility with hermitian duals.
Mathematical models of single and collective cell migration in the cranial neural crest
Johnson, S
On multiplicative chaos in number theory
Hamdan, J
One of Rachmaninov's most famous pieces, this prelude, one of a set of five, was written when he was nineteen. Rachmaninov was himself a very accomplished pianist (he had very large hands which no doubt helped). He also loved fast cars and speedboats.
And for the classical music buffs among you, on 16 January 1910 no lesser a figure than Gustav Mahler conducted Rachmaninov playing his own third piano concerto at Carnegie Hall, New York.
Tue, 08 Dec 2026
15:30
15:30
Wed, 21 Oct 2026
01:00
01:00
Exceptionally, this seminar will take place in Classroom C2.
ADHM Bundles and counting surfaces in Calabi--Yau fourfolds
Noah Dizep
(Heriot-Watt University, Edinburgh)
Abstract
The recent seminal work by Bae, Kool and Park establishes a DT type theory counting surfaces in Calabi--Yau fourfolds. I will present on joint work with R. Szabo on computing a variant of surface counts on CY4s using Diaconescu--Piazzalunga's technology of ADHM Bundles and Coulomb branch localization on a smooth, toric, projective surface.
We compute these enumerative invariants by computing the partition function of a topologically twisted Gauge theory similar in nature to Vafa--Witten's twist of 4d N=4 SYM.