Some recent and upcoming talks

First steps towards absolute versions of metamathematical results
DMV Annual Meeting 2022, FU Berlin, Germany, September 2022

Can we turn metamathematical results into representation-independent insights?
11th international conference GAP.11 of the German Society for Analytic Philosophy, HU Berlin, Germany , September 2022

Carnap’s Conception of Syntax in his Syntax
Annual Conference of the Israeli Philosophical Association, Hebrew University, Israel, June 2022

Can we turn metamathematical results into representation-independent insights?
“The Philosophy of Metamathematical Results”, MCMP Munich, Germany, January 22, 2022

A Step Towards Absolute Versions of Metamathematical Result
Hebrew University of Jerusalem, Israel, December 9, 2021

A Closer Look at Self-Reference in Arithmetic: Language, Naming and Coding
PhDs in Logic XII, Freie Universität, Germany, September 9, 2021

A Step Towards Absolute Versions of Metamathematical Results
The Landscape of Incompleteness, Wuhan University, China, August 19, 2021

Carnap and the Structure of Formal Language
Logic Café, University of Vienna, Austria, January 18, 2021

The Effects of Syntax Representations on Metamathematical Limitation Results
Annual Conference of the Israeli Philosophical Association, Tel Aviv University, Israel, February 26, 2020

The Role of Representations in Metamathematical Limitation Results
The Phonological Conundrum, Jerusalem, Israel, June 6, 2019

What does Gödel’s Second Theorem Say, and Why?
Rationality and Formal Methods Research Seminar, King’s College London, UK, May 24, 2019

What does Gödel’s Second Theorem Say, and Why?
Formal Methods Seminar, University of Bristol, UK, February 27, 2019

Revisiting Detlefsen’s Stability Problem
10th international conference GAP.10 of the German Society for Analytic Philosophy, Cologne, Germany, September 20, 2018

A step Towards a Coordinate Free Version of Gödel’s Second Theorem
Logic Colloquium 2018, Udine, Italy, July 26, 2018

Syntactic vs. Semantic Approaches to Truth
FMV: Foundations in Mathematics — Modern views, MCMP Munich, Germany, April 4, 2018

Philosophical Interpretations of Metamathematical Theorems
Hebrew University of Jerusalem, Israel, February 23, 2018

On the Invariance of Gödel’s Second Theorem with regard to Numberings
MFO Meeting: Mathematical Logic: Proof Theory, Constructive Mathematics, Oberwolfach, Germany, November 7, 2017

A Step Towards a Coordinate Free Version of Gödel’s Second Theorem
Nordic Logic Summer School 2017, Sweden, August 7, 2017

Invariance of Metamathematical Theorems with regard to Gödel Numberings
Logica 2017, Czech Republic, June 23, 2017

Invariance of Metamathematical Theorems with regard to Gödel Numberings
PhDs in Logic IX, Germany, May 2, 2017