Universiteit van Amsterdam


Institute for Logic, Language and Computation

8 - 9 September 2017, 4th International Workshop on Structures and Deduction(SD 2017), Oxford, England

Date: 8 - 9 September 2017
Location: Oxford, England
Deadline: Friday 16 June 2017

SD17 is the fourth in a series of meetings that brings together researchers in different areas of proof theory. The main interest is in new algebraic and geometric results in proof theory which expand our abilities to manipulate proofs, help to reduce bureaucracy in deductive systems, and ultimately lead to new methods for proof search and new kinds of proof certificates.

We welcome submission of work that has already been published or currently submitted to a journal or conference. As well as theoretical work in the form of regular papers, we encourage submission of implementations, tools and system descriptions.

For more information, see http://www.anupamdas.com/sd17/ or contact .