World Logic Day @ UCL
Pym, David
d.pym at ucl.ac.uk
Sun Jan 2 13:21:11 EST 2022
==================================
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 organized 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)
- Edmund Robinson (Queen Mary, 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<https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fsites.google.com%2Fview%2Fwdl-ucl2022%2Fhome&data=04%7C01%7Cd.pym%40ucl.ac.uk%7Cfff0dae1ca2c4744f2ff08d9cde2a372%7C1faf88fea9984c5b93c9210a11d9a5c2%7C0%7C0%7C637767196275717096%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=HRrIZxARwebfI%2FME6%2FS8eWcGxaYh8wIaSyMhUS6IxpQ%3D&reserved=0>
Organizers:
David Pym and Elaine Pimentel (UCL)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20220102/7f0a1b22/attachment-0001.html>
More information about the FOM
mailing list