Please note that this newsitem has been archived, and may contain outdated information or links.
15 December 2021, Proof Theory Virtual Seminar, Alessio Guglielmi
Speaker: Alessio Guglielmi
Title: Totally Linear Proofs for Classical Logics
Date: Wednesday 15 December 2021
Time: 10:00-11:00
Location: Online via Zoom
For more information, see
https://www.proofsociety.org/proof-theory-seminar/.
Please note that this newsitem has been archived, and may contain outdated information or links.