9 am Opening
9.30 am Ladislav Kvasz (Czech Academy of Sciences)
The Fregean Revolution in Logic - A Kuhnian Reconstruction
10.20 am Coffee break
10.50 am Cesare Cozzo (Sapienza University of Rome)
An Epistemic Conception of Deductive Validity
11.40 am Leonardo Ceragioli (University of Milano, LUCI Lab)
Proof-Theoretic Semantics and Anti-Exceptionalism
12.10 pm Sebastian G. W. Speitel (University of Bonn)
Arithmetic between Realism and Anti-Realism
12.40 pm Lunch break
2.30 pm Göran Sundholm (University of Leiden)
An Honest but Hitherto Neglected Account of Platonism: the Case of Heinrich Scholz
3.20 pm Carolin Antos (University of Konstanz)
The Model-Based Turn in Set Theory. A non-Kuhnian Revolution
4.10 pm Coffee break
4.40 pm Claudio Ternullo (University Babes-Bolyai of Cluj-Napoca, University of Catania)
The Continuum and the Absolute Infinite: An (Alternative) Tale of the Continuum Problem
5.30 pm Matteo de Ceglie (IUSS Pavia), Simon Schmitt (University of Torino)
Hierarchies of Theories, Gödel’s Programme, and Set-Theoretic Pluralism
8 pm Social Dinner
9.30 am Reinhard Kahle (University of Tübingen)
What is Semantics?
10.20 am Coffee break
10.50 am Michele Contente (Czech Academy of Sciences)
From the Decidability of the Proof-Relation to the Decidability of Type-Checking
11.20 am Marcel Ertel (University of Tübingen)
The Epistemological Status of Transfinite Induction in Reductive Proof Theory
11.50 am Ludovica Conti (University of Vienna)
Anti-Realist Abstraction?
12.20 pm Lunch break
2.30 pm Sara Negri (University of Genova)
Invertibility of Logical Rules
3.20 pm David Corfield (University of Kent)
The Fivefold Way: Category Theory, Physics, Topology, Logic and Computation
4.10 pm Coffee break
4.40 pm Georg Schiemer (University of Vienna)
Early Metatheory in the Type-Theoretic Tradition
5.30 pm Richard Lawrence (University of Vienna)
Ideal Forms, Real Applications, Missing Content. Hankel's Domain Extension Proof
6 pm Moritz Bodner (University of Vienna)
The Twofold Origin of Proof-Theory