11 - 12 April 2024, Workshop "Proofs, Rules, and Meanings"

We invite registrations for the workshop 'Proofs, Rules, and Meanings'. This interdisciplinary event is set to take place at the Arché Research Centre, University of St Andrews, (and livestreamed via Microsoft Teams) on 11th and 12th April 2024. It explores the relationship between proofs, rules, and meanings through the lens of proof-theoretic semantics.

Emphasizing the interdisciplinary nature of the topics, this workshop will feature presentations on:
 - the contemporary logical and philosophical dimensions of proof-theoretic semantics;
 - its historical roots and precursors; and
 - its fruitful applications in philosophy, linguistics, computer science, mathematics, and beyond.