Please find the abstracts of the talks here.

Tuesday 20 September

9.30 – 10.10 Andrew Arana: Meaning and Interpretation in Mathematics (Slides)

10.20 – 11.00 Martin Fischer: HYPE and cuts (Slides)

11.10 – 11.30 Coffee & tea break

11.30 – 12.10 Robin Martinot: Semantic Pollution of Proof Systems (Slides)

12.10 – 14.00 Lunch break

14.00 – 14.40 Jeremy Avigad (online talk): Proof Systems in Computer Science

14.50 – 15.30 Johannes Korbmacher: Hyperintensional Proof Theory 

15.40 – 16.00 Coffee & tea

Wednesday 21 September

9.30 – 10.10  Arnon Avron: The Active Role of Language Extensions in Mathematical Reasoning (Slides)

10.20 – 11.00 Alex Paseau: What is Formalisation? (Slides)

11.10 – 11.30 Coffee & tea break

11.30 – 12.10 Amir Tabatabai: Logic as The Shadow of Mathematics (Slides)

12.10 – 14.00 Lunch break

14.00 – 14.40 Carlo Nicolai: Cuts and Truths: Cut Elimination and Disquotation

14.50 – 15.30 Takahiro Yamada: A Formalisation of Crispin Wright’s Strict Finitistic First-Order Logic (Slides)

15.40 – 16.00 Coffee & tea

18.30 Workshop dinner

Thursday 22 September

9.30 – 10.10  Michael De: On The Semantics (vs Syntax) of Relevance Logic (Slides)

10.20 – 11.00 Robert Passmann: On The Logical Instability of Mathematical Theories

11.10 – 11.30 Coffee & tea break

11.30 – 12.10 Albert Visser: There is No Minimal Essentially Undecidable Theory (Slides)