News and Events: Upcoming Events

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

20 January 2021, Proof Theory Virtual Seminar, Georg Moser

Speaker: Georg Moser (Innsbruck)
Title: Herbrand Complexity and Hilbert's Epsilon Calculus
Date: Wednesday 20 January 2021
Time: 10:00-11:00
Location: Online via Zoom

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