8 - 9 September 2017, 4th International Workshop on Structures and Deduction(SD 2017), Oxford, England
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.