# Talks

## 2018

Formal methods in philosophy: Truth, paradox, and mathematics.

Munich Center for Mathematical Philosophy, 4–6 June 2018.

## 2017

C-ALPHA workshop on logic and philosophy of mathematics.

UC Irvine, 9 December 2017.

Fourth Symposium on the Foundations of Mathematics.

Munich Center for Mathematical Philosophy, 9–11 October 2017.

Ninth European Congress on Analytic Philosophy.

LMU Munich, 21–27 August 2017.

Fourth New College Logic Meeting.

University of Oxford, 11–12 March 2017.

Foundational Studies Bristol.

University of Bristol, 2 February 2017.

Colloquium in Mathematical Philosophy.

Munich Center for Mathematical Philosophy, 19 January 2017.

## 2016

Midlands Logic Seminar.

University of Birmingham, February 2016.

## 2015

Workshop on ontological commitment in mathematics.

IHPST, Paris, December 2015.

Seventh French Philosophy of Mathematics Workshop.

Paris VII, November 2015.

Logic Colloquium 2015.

University of Helsinki, August 2015.

CLMPS 2015.

University of Helsinki, August 2015.

Institute of Philosophy (affiliated with SoTFoM II).

University of London, January 2015.

## 2014

Work in Progress Seminar.

University of Bristol, December 2014.

Logic Colloquium 2014.

Vienna University of Technology, July 2014.

Colloquium in Mathematical Philosophy.

Munich Center for Mathematical Philosophy, June 2014.

Midlands Logic Seminar.

University of Birmingham, March 2014.

Bristol–Oxford Postgraduate Workshop in Logic and Philosophy of Mathematics.

University of Bristol, February 2014.

Philosophy of Mathematics Workshop.

KU Leuven, February 2014.

## 2013

Bristol-Kyoto Workshop.

University of Bristol, September 2013.

Bristol-Munich Workshop 2013.

University of Bristol, July 2013.

Work in Progress Seminar.

University of Bristol, May 2013.

PhDs in Logic V. (Slides.)

Munich Center for Mathematical Philosophy, April 2013.

Bristol-Princeton Postgraduate Conference in Logic and Philosophy of Mathematics.

University of Bristol, February 2013.

### 2012

Logic and Set Theory Seminar.

Department of Mathematics, University of Bristol, December 2012.

History of Logic Lecture Series.

University of Bristol, May 2012.

Philosophy and Computation Workshop. (Slides.)

Lunds universitet, May 2012.