# Talks and Visits

## Talks

36th British Topology Meeting, * Set Theory vs. Topology *, Sheffield, UK, Sept 2023.

Young Topologists Meeting, * Adelic Geometry via Topos Theory *, Lausanne, Switzerland, July 2023.

CIRM: Type Theory, Constructive Mathematics and Geometric Logic, * Foundations in non-Archimedean & Arithmetic geometry: Topology vs. Set theory *, Marseilles, France, May 2023. Slides

Torino Logic Working Group, * Foundations in non-Archimedean & Arithmetic geometry: Topology vs. Set theory *, Online, Apr 2023

PSSL 107, *Adelic Geometry via Topos Theory *, Athens, Greece, Apr 2023

Leeds Logic Seminar, *Adelic Geometry via Geometric Logic *, Leeds, UK, Nov 2022.

YAMCATS Meeting 28, *Adelic Geometry via Topos Theory *, Cambridge, UK, Sept 2022.

QMUL Algebra and Number Theory Seminar, *Adelic Geometry via Geometric Logic*, London, UK, Mar 2022.

Bath Algebra, Geometry and Number Theory Seminar, *Adelic Geometry via Topos Theory*, Bath, UK, Mar 2022.

SEEMOD Workshop X, *Adelic Geometry via Geometric Logic*, London, UK, Dec 2021. Slides

2021 Category Theory NovemberFest, *Adelic Geometry via Topos Theory*, Online, Nov 2021. Slides

British Logic Colloquium and PhD Day 2021, *Adelic Geometry via Geometric Logic*, Online, Sept 2021. Slides

Category Theory 2021, *Adelic Geometry via Topos Theory*, Online, Aug 2021. Slides

Toposes Online, *Adelic Geometry via Topos Theory*, Online, June 2021. Slides

CCC 2020: Continuity, Computability, Constructivity, *Point-free Construction of Real Exponentiation*, Online, Aug 2020. Slides

p-adic Langlands correspondence: A Constructive and Algorithmic Approach, *Adelic Geometry via Topos Theory*, Rennes, France, Sept 2019.

## Public Outreach

Durham Castle Conference (Theme: "Evolution"), *Proof and Progress in Mathematics*, Durham, UK, July 2017. Slides

## Visits

SEEMOD Workshop X, *Adelic Geometry via Geometric Logic*, London, UK, Dec 2021.

2021 Category Theory NovemberFest, *Adelic Geometry via Topos Theory*, Online, Nov 2021.

British Logic Colloquium and PhD Day 2021, Online, Sept 2021.

Category Theory 2021 Conference, Online, Aug - Sept 2021.

PRIMA 2021 Summer School: Rational curves and moduli spaces in arithmetic geometry, Online, Aug 2021.

Young Topologists Meeting 2021, Online, July 2021.

Toposes Online, Online, June 2021.

MIT Talbot Workshop: Viva Talbot!, Online, June 2021.

HMI Spring Lecture Series 2021: Derived Bornological and Analytic Geometry, Online, April 2021.

CCC 2020: Continuity, Computability, Constructivity – From Logic to Algorithms, Online, August 2020.

Topics in Category Theory: A Spring School, University of Edinburgh, UK, March 2020.

p-adic Langlands correspondence: a constructive and algorithmic approach, University of Rennes, France, Sept 2019.

Category Theory 2019, University of Edinburgh, UK, July 2019.

Summer School on Higher Topos Theory and Univalent Foundations, University of Leeds, UK, June 2019.

Midlands Graduate School in the Foundations of Computing Science, University of Birmingham, UK, April 2019.

6th Workshop on Formal Topology, University of Birmingham, UK, April 2019.

Enhancing Representation Theory, Non-commutative Algebra and Geometry, University of Edinburgh, UK, Feb 2019.

Introduction to Hodge structure and Torelli problems, LAREMA, France, Dec 2018.

Chow Lectures: by Peter Scholze, University of Leipzig and MPIM, Germany, Nov 2018.

Noncommutative geometry: spaces, bundles and connections (Masterclass), Aarhus University, Denmark, Sept 2018.

Toposes in Como, Università degli Studi dell’Insubria, Italy, June 2018.