Please note that this newsitem has been archived, and may contain outdated information or links.
2 June 2021, Proof Theory Virtual Seminar, Lutz Straßburger
Speaker: Lutz Straßburger (INRIA & LIX Paris)
Title: Towards a Combinatorial Proof Identity
Date: Wednesday 2 June 2021
Time: 19:00-20: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.