News and Events: Upcoming Events

Please note that this newsitem has been archived, and may contain outdated information or links.

6 October 2021, Proof Theory Virtual Seminar, Jeremy Avigad

Speaker: Jeremy Avigad
Title: The conservativity of weak König's lemma (a proof from the book).
Date: Wednesday 6 October 2021
Time: 19:00-20:00
Location: Online via Zoom

Please note that this newsitem has been archived, and may contain outdated information or links.