In metamathematics, mathematical and philosophical questions are closely intertwined, and many of its central notions, e.g., coding, notation, provability, and truth, call for both mathematical and philosophical analysis.

The Metamathematical Miscellanea workshop aims to explore such questions in metamathematics and related topics. It is organised within Léon Probst’s SNSF Doc.CH Grant (#227030).

Speakers: Rasmus Bakken (University of Oxford), Timo Beringer (University of Amsterdam), Pablo Dopico (University of Konstanz), Balthasar Grabmayr (University of Tübingen), Volker Halbach (University of Oxford), Paula Quinon (Warsaw University of Technology), Paulo Guilherme Santos (IPAM, Lisboa), Thomas Schindler (University of Amsterdam), Albert Visser (Utrecht University), Elena Wuellhorst (King’s College London).