The Meaning of Proofs, 14 Jan 2022 (WLD event, virtual)
26 views
Skip to first unread message
Elaine Pimentel
Dec 27, 2021, 12:47:13 PM12/27/21
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA, Luiz Carlos
==================================
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)
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)
Reply all
Reply to author
Forward
0 new messages