4th International Workshop on Structures and Deduction

Affiliated with FSCD '17.

Oxford, UK, September 8-9, 2017.

This workshop 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.

There have been three previous editions of Structures and Deduction, the last of which occurred in 2014. Since then there has been a tremendous amount of progress in the area, witnessed by multiple recent funded projects. As well as theoretical work in the form of regular papers, we encourage submission of implementations, tools and system descriptions.

Themes of the workshop include but are not limited to:

Important dates

Invited speakers

Abstracts for the invited talks.

Contributed talks


A draft workshop programme is available on the FSCD main programme page. To view it, select the box for "SD".


We do not intend to have published proceedings, as we encourage people to present work in progress, or material that is already submitted. If there is a strong demand among the participants we may organise a special issue of an open access journal for full papers.


The conference will be held at the Department of Computer Science at University of Oxford.

Program committee


All questions about submissions should be addressed to sd17@easychair.org, or directly to one of the co-chairs.