Elaine Pimentel and David Pym organized a World Logic Day 2022 event
on the ’The meaning of proofs’.
The event included presentations from leading figures in proof theory and
proof-theoretic semantics and attracted a very large worldwide audience.
World Logic Day 2022
interfacereasoning.com 