[TYPES/announce] The Meaning of Proofs, 14 Jan 2022 (WLD event, virtual)

Elaine Pimentel elaine.pimentel at gmail.com
Thu Jan 6 03:59:45 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 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:



David Pym and Elaine Pimentel (UCL)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20220106/f60eff97/attachment-0001.htm>

More information about the Types-announce mailing list