Please note that this newsitem has been archived, and may contain outdated information or links.
2 - 4 December 2021, Proof Society Workshop
The workshop will bring together researchers on proof theory and its applications through a series of invited and contributed talks as well as panel discussion.
Confirmed speakers include Eduardo Fermé, David Fernández Duque, Stepan Kuznetsov, Fedor Pakhomov, Michael Rathjen, and Andrei Voronkov. The event will be attending-only and shall not be streamed online.
Workshop Contributed Talks Submission:
•Submission of abstracts opens Monday, October 11;
•Submission of abstracts closes Monday, November 8;
•Acceptance is confirmed Thursday, November 11.
Please note that this newsitem has been archived, and may contain outdated information or links.