14 January 2022, Meeting "The Meaning of Proofs" (WLD 2022 Event), Virtual

"The Meaning of Proofs" is a one day online meeting organised by the Programming Principles, Logic and Verification group at UCL. As part of the celebrations of UNESCO's World Logic Day 2022, we propose a foundational discussion about logic, validity and proof systems, with a main focus on proof-theoretic semantics. The event will consists of 20 min keynote talks, followed by a discussion. The registration is free of charge and everybody is welcome.