# Talks

## 2022

Reverse Mathematics and its Philosophy.

University of Chicago Center in Paris, 13–17 June 2022.

Closing conference of the project FFIUM.

Institut de France, 15–17 June 2022.

## 2021

Mathematical Logic Seminar.

University of Lisbon, 19 April 2020.

## 2020

OC–IE History and Philosophy of Mathematics Group.

Chapman University, 13 March 2020.

Structuralist Foundations.

University of Vienna, 20–21 February 2020.

## 2019

Paris–Munich FFIUM project workshop.

IHPST, Paris, 17 December 2019.

16th International Congress on Logic, Methodology and Philosophy of Science and Technology.

Czech Technical University, Prague, 5–10 August 2019.

Computation in Scientific Theory and Practice.

LMU Munich, 30 May–2 June 2019.

1st SNS Pisa–MCMP Meeting.

LMU Munich, 27 May 2019.

Logic Seminar.

University of Connecticut, 1 April 2019.

Logic Colloquium.

University of Connecticut, 29 March 2019.

## 2018

19th Midwest PhilMath Workshop.

University of Notre Dame, 27–28 October 2018.

Special session on philosophy of logic and mathematics, Logic Colloquium ’18.

Università degli Studi di Udine, 23–28 July 2018.

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

LMU Munich, 4–6 June 2018.

Philosophy of Mathematics Seminar.

University of Oxford, 14 May 2018.

## 2017

C-ALPHA workshop on logic and philosophy of mathematics.

UC Irvine, 9 December 2017.

Fourth Symposium on the Foundations of Mathematics.

LMU Munich, 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.

LMU Munich, 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.

Université Paris Diderot, 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

Logic Colloquium 2014.

Vienna University of Technology, July 2014.

Colloquium in Mathematical Philosophy.

LMU Munich, 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.

PhDs in Logic V.

LMU Munich, April 2013.

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

University of Bristol, February 2013.

### 2012

Philosophy and Computation Workshop.

Lund University, May 2012.