5th International Workshop on Structures and Deduction

Affiliated with FSCD '19.

Dortmund, Germany, June 29-30, 2019.

SD’19 is the fifth in a series of workshops aiming to gather various communities of structural proof theorists. 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 four previous editions of Structures and Deduction, the last of which occurred in 2017. We are in the process of creating a permanent online presence for matters relating to the Structures and Deduction workshop series.

Themes of the workshop include but are not limited to:

As well as theoretical work in the form of regular papers, we encourage submission of implementations, tools and system descriptions.

Important dates

Submission guidelines

We welcome submissions of work that has already been published or currently submitted to a journal or conference. The following submission categories are welcome:

The page limits above are only recommendations, there is no hard upper or lower bound, within reason. Please prepare your work using the EasyChair style files. The submission page is here:


Invited speakers




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.

Program committee


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