<div dir="ltr">==================================<br>The Meaning of <span class="gmail-il">Proofs</span><br>World Logic Day Celebration at UCL<br>14 January 2022 13:00 (UTC)<br>==================================<br><br>"The Meaning of <span class="gmail-il">Proofs</span>" is a one day online meeting organised by the Programming Principles, Logic and Verification group at UCL.<br><br>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.<br><br>The live meeting will take place online (via Zoom) on Friday, 14 January 2022, 13:00 UTC. The event consists of 20 min keynote talks, followed by a discussion. The speakers are:<br><br>- Peter Schroeder-Heister (Universität Tübingen)<br>- Dag Prawitz (Stockholm University)<br>- Luiz Carlos Pereira (PUC-Rio and UERJ)<br>- Tor Sandqvist (Royal Institute of Technology)<br>- Sara Ayhan (Ruhr University Bochum)<br>- Thomas Piecha (Universität Tübingen)<br>- Edmond Robinson (University of London)<br><br>The registration is free of charge and everybody is welcome. For registration, contact information and other details, please visit our page:<br><br><a href="https://urldefense.com/v3/__https://sites.google.com/view/wdl-ucl2022/home__;!!IBzWLUs!EIZgn2-nsKaDxZKAmV4bVdZfpi7tpSrkco3TrzHiq8YBNRVuTMR-0vwwOJ058Ec4jXGO7hptzp7gzQ$" target="_blank">https://sites.google.com/view/wdl-ucl2022/home</a><br><br>Organizers:<br><br>David Pym and Elaine Pimentel (UCL)<br></div>