Tue, 03 Nov 2026
14:00
14:00
L4
Scalable, open-access and multidisciplinary data integration pipeline for climate-sensitive diseases
Dasgupta, A
Perez-Fernandez, I
Huynh, T
Mills, C
Nicholls, R
Sambaturu, P
Choisy, M
Wallom, D
Nguyen-Duy, T
Inward, R
Brittain, J
Sparrow, S
Kraemer, M
Wellcome Open Research
volume 10
467-467
(01 Aug 2026)
doi:10.12688/wellcomeopenres.24774.3
Wed, 04 Nov 2026
11:30
11:30
C6
Wed, 21 Oct 2026
11:30
11:30
C6
An overview of a C*-algebraic ultrapower technique
Joseph Gondek
Abstract
In recent joint work with Felipe Flores, it was shown that the C*-algebra generated by the quasi-regular representation of Thompson's F < T is purely infinite. The proof involves an ultrapower technique developed by Robert and later considered by Ozawa. In this talk, we will discuss why ultrapowers are relevant in this context and how one works with them, focusing on a few proof techniques.
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.