Please note that this newsitem has been archived, and may contain outdated information or links.
3 March 2021, Proof Theory Virtual Seminar, Dale Miller
Speaker: Dale Miller (Paris)
Title: A proof-theoretic approach to formal
Date: Wednesday 3 March 2021
Time: 18:00-19: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.