Timothy Gowers Public lectures Combinatorics Public lectures Chair menu The chair Biography and publications Public lectures Annual summaries Audios and videos News Podcasts / RSS Apple Podcast Spotify Flux RSS Podcast News RSS Audio-visual RSS Share Facebook LinkedIn Bluesky Threads Copy url
The chair Biography and publications Public lectures Annual summaries Audios and videos News Upcoming Previous Lecture 3 Nov 2025 10:00 to 12:00 Timothy Gowers Entropy and additive combinatorics Seminar 3 Nov 2025 14:00 to 15:00 Karine Chemla Mathematics as an Essentially Written Activity Lecture 10 Nov 2025 10:00 to 12:00 Timothy Gowers Demonstration of Marton's conjecture I Seminar 10 Nov 2025 14:00 to 15:00 Fabian Gloeckle Search, Reason or Recombine?—Paradigms for Scaling Formal Proving Lecture 17 Nov 2025 10:00 to 12:00 Timothy Gowers Entropy and Combinatorics (6) Seminar 17 Nov 2025 14:00 to 15:00 Mark van Atten An Imagined Discussion between Brouwer and Bergson: Is Mathematics Based on the Intuition of T… Not recorded Next 2 series Filters Event type Event type Lecture (1) Seminar (1) Academic year Academic year 2025 - 2026 (2) 2024 - 2025 (2) (-) 2023 - 2024 (2) 2022 - 2023 (2) 2021 - 2022 (2) 2020 - 2021 (2) Active filters 2023 - 2024 2023 - 2024 Lecture Complexity theory Timothy Gowers 09 Oct 2023 → 13 Nov 2023 09 Oct 2023 → 13 Nov 2023 Seminar The philosophy of mathematical practice Timothy Gowers 09 Oct 2023 → 13 Nov 2023 09 Oct 2023 → 13 Nov 2023
Seminar 10 Nov 2025 14:00 to 15:00 Fabian Gloeckle Search, Reason or Recombine?—Paradigms for Scaling Formal Proving
Seminar 17 Nov 2025 14:00 to 15:00 Mark van Atten An Imagined Discussion between Brouwer and Bergson: Is Mathematics Based on the Intuition of T… Not recorded
Seminar The philosophy of mathematical practice Timothy Gowers 09 Oct 2023 → 13 Nov 2023 09 Oct 2023 → 13 Nov 2023