MacTutor
British Mathematical Colloquium
This was held at Exeter: 23rd to 26th June 2025.
The enrolment was 527.
Organisers were Chris Lazda, Demi Allen, Peter Ashwin, Nigel Byott, Layal Hakim, Andrew Hillier, Alison Hume, Henri Johnston, Gihan Marasingha, Tony Samuel, Tanja Schindler, Krasi Tsaneva-Atanasova, Jimmy Tseng, Kyle Wedgwood
The partner for this BMC was BAMC
Minutes of meetings, etc. are available at the links below
Plenary speakers
| Chapman, J | Beyond All Orders: The Hidden Secrets of Divergent Series |
| Zerbes, S | Euler systems and the Birch-Swinnerton-Dyer conjecture |
| Li, X-M | Long-Range Memory in SDEs and SPDEs: Fluctuations, Scales, and Structure |
| Derks, G | Existence and stability of fronts in inhomogeneous semi-linear wave equations |
| Stallard, G | A hundred years of transcendental dynamics |
| Oh, H | The power of mathematics to solve environmental problems |
Morning speakers
| Bahsoun, W | Linear response |
| Tanzi, M | Coupled Chaotic Maps and Self-Consistent Transfer Operators |
| Diamond, F | Modular forms and Galois representations in finite characteristic |
| Newton, N | Diophantine equations and when to quit trying to solve them |
| Jurga, N | Quantitative covering and equidistribution for dynamical systems |
| Flicker, F | Constraints and aperiodicity |
| Marklof, J | Random lattices and their applications in number theory, geometry and statistical mechanics |
| Tillmann, U | TQFTs and the renaissance of the algebraic topology of manifolds |
| Monk, L | Typical hyperbolic surfaces have an optimal spectral gap |
| Brzezinski, T | Affinization of algebraic structures |
Public Lecture
| Stott, P | The power of mathematics to solve environmental problems |
Algebra workshop
| Capdeboscq, I | Chevalley groups over non-archemadian local fields: some subgroups |
| Colazzo, I | Matched Pairs of Groups and Combinatorial Solutions to the Pentagon Equation |
| Fayers, M | Irreducible Specht modules |
| Meir, E | Geometric methods in braided vector spaces and their Nichols algebras |
| Topley, L | Quantizations of conjugacy classes in positive characteristic |
Dynamical Systems and Ergodic Theory workshop
| Balabanova, N | Adaptive dynamics for Prisoner’s Dilemma |
| Burbanks, A | Existence of periodic orbits of renormalisation operators for coupled systems |
| Fernando, K | A Dolgopyat-type estimate for a class of partially hyperbolic systems |
| Gonzalez-Tokman, C | Universal gap growth for Lyapunov exponents of perturbed matrix products |
| Hadjiloucas, D | False bubbling in Invariant Graphs of Quasiperiodically Forced Maps |
| Mitchell, A | Substitutions and their generalisations |
| Rademacher, J | Interaction and intrinsic dynamics of localised patterns: kinks and fronts in excitable media |
| Sponheimer, A R | Strong Borel-Cantelli Lemmas for Recurrence |
| Shaabanian, S | A natural connection between recurrence Laws in ϕ-mixing dynamical systems |
| Shao, J | Stochastic Dynamical System Methods Applied to Ship Capsize Problem |
| Walton, J | Hierarchy and cut and project sets |
| Zhang, Y | Recent progresses on typically periodic optimization problems in ergodic optimization |
Formal methods in Mathematical proof workshop
| Birkbeck, C | Formalising modular forms and sphere packings in Lean |
| Dillies, Y | Why should Mathlib know about toric varieties? |
| Thoma, A | Using Lean in university mathematics teaching: Insights and challenges |
| Mehta, B | Geometry and Topology workshop |
| Dotto, E | Characteristic polynomials in homotopy theory |
| Martins, J F | A categorification of Quinn’s finite total homotopy TQFT with application to TQFTs and once-extended TQFTs derived from discrete higher gauge theory |
| Gregory, O | Griffiths groups of supersingular varieties |
| Kaloghiros, A-S | Explicit K-stability and moduli construction of Fano 3-folds |
| Manolache, C | Reduced Gromov–Witten invariants in any genus |
| Milutinovic, M J | Matching Complexes |
| Karvatskyi, D | Topological and fractal properties of homogeneous self-similar sets |
| Li, C | Bridgeland Stability Conditions and Their Applications in Algebraic Geometry |
| Santicola, K | Sharp interpolation of rational objects |
| Yim, K M | An algebraic derivation of Morse complexes for poset-graded chain complexes |
Number Theory workshop
| Angdinata, D K | Elliptic divisibility sequences in Lean |
| Das, M | Exponential Sums with Additive Coefficients and its Consequences to Weighted Partitions |
| Evans, N | Correlations of almost primes |
| Gray, H | Employment of AI on pure mathematics education |
| Kapadia, Z | Some Uniserial Specht Modules |
| Karam, T | The amount and type of structure of a function in terms of its small images |
| Kurinczuk, R | Finiteness for Hecke algebras of p-adic groups |
| Maistret, C | Galois module structure of Tate-Shafarevich groups of elliptic curves |
| Pajwani, J | Symmetric powers of trace forms |
| Pearce-Crump, A | Number Theory versus Random Matrix Theory: the joint moments story |
| Williams, C | The exceptional zero conjecture for GL(3) |