Programme

Opening

Morning session (Chair: Andrew Tedder)

Universal statements and nonexistent counterexamples (Louis Rouillé, slides here)

Coffee break

Carnap as a Beall-style Logical Monist (Teresa Kouri Kissel, slides here)

Coffee break

Preserving and Extending Purity for Formal Proofs (Robin Martinot, slides here)

Lunch break

Afternoon session (Chair: Franci Mangraviti)

The Connectives: Mean Them as You Use Them, Use Them as You Mean Them (Sophie Nagler, slides here)

Coffee break

How Much Comprehension Is (Relevantly) Logical? (Shay Allen Logan, slides here)

Coffee break

Semantic Proof Systems: Why and How to Stop Worrying (Fabio De Martin Polo, slides here)

Social dinner

Morning session (Chair: Robin Martinot)

On the Notion of Logical Nihilisms (Aadil Kurji)

Coffee break

Queer Incomaths: Inconsistent Mathematics as a Critical Maths Kind (Franci Mangraviti, slides here)

Coffee break

To Be Done with All This Measuring of Truth (Alessandro Cecconi, slides here)

Lunch break

Afternoon session (Chair: Timo Weiss)

Care-Theoretic Semantics (Thomas Macaulay Ferguson)

Coffee break

Conceptual (and hence mathematical) explanation and conceptual grounding... it is not complicated! (F. Poggiolesi, slides here)

Coffee break

Logical Pluralism and Realism about Logic (Dustin Goosens, slides here)

Morning session (Chair: Dustin Goossens)

Rethinking Logical Consequence (Gillian Russell, slides here)

Coffee break

Relevant Logics as Theories of Topic (Andrew Tedder, slides here)

Coffee break

Relevant Abstractionism (Francesca Boccuni, slides here)

Lunch break

Afternoon session (Chair: Franci Mangraviti)

Proof Invariance (Blane Worley, slides here)

Coffee break

On Accepting and Rejecting Reflection Principles (Eileen Nutting, slides here)