News and Events: Conferences

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

2 - 4 December 2021, Proof Society Workshop

Madeira.jpg
Date: 2 - 4 December 2021
Location: Funchal, Madeira
Target audience: Researchers Proof Theory and related
Costs: €300
Deadline: Monday 8 November 2021

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.

For more information, see https://kgs.logic.at/madeira2021/workshop or contact Anela Lolic at .

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