News and Events: Upcoming Events

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

17 February 2021, Proof Theory Virtual Seminar, Keita Yokoyama

Speaker: Keita Yokoyama (JAIST)
Title: Forcing interpretation, conservation and proof size
Date: Wednesday 17 February 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.