================================== The Meaning of Proofs World Logic Day Celebration at UCL 14 January 2022 13:00 (UTC) ==================================
"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 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: - Peter Schroeder-Heister (Universität Tübingen) - Dag Prawitz (Stockholm University) - Luiz Carlos Pereira (PUC-Rio and UERJ) - Tor Sandqvist (Royal Institute of Technology) - Sara Ayhan (Ruhr University Bochum) - Thomas Piecha (Universität Tübingen) - Edmond Robinson (University of London) The registration is free of charge and everybody is welcome. For registration, contact information and other details, please visit our page: https://sites.google.com/view/wdl-ucl2022/home Organizers: David Pym and Elaine Pimentel (UCL) -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BVdQ4G_ohGj4ZjUYvckh%2BzYBAPuu3OSOEnX-GiRQDQ%3Dgw%40mail.gmail.com.
