SD Home Page


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

Topics of the workshop include

  • syntactic presentations of proofs, like sequent calculi and deep inference systems, in their focused and non-focused variants;
  • combinatorial presentations of proofs, such as proof nets;
  • algebraic presentations of proofs, for example via game semantics or category theory;
  • methods for proof manipulation and normal forms for proofs;
  • methods for incorporating computation and rewriting in proof search, such as deduction modulo or fixpoint definitions.

Since the past two meetings, held in 2005 in Lisbon and in 2009 in Bordeaux, there has been a tremendous amount of progress in the the theoretical foundations of the topics mentioned above.

We think the time is ripe for moving towards implementations of these ideas in terms of new interactive and automated reasoning tools and modifications to existing tools. Thus, we encourage contributions not only of regular papers, but also of system descriptions, work in progress, and programmatic/position papers.

Invited Speakers

Deadlines and Author Instructions

Submission deadline: April 20, 2014
Notification: May 9, 2014
Final version: May 20, 2014

Authors are requested to submit a 10 page (for finished work) or 5 page (for work in progress) paper in the Easychair Proceedings format. LaTeX style files and documentation are available at:


Submissions are through the following URL:


Program Committee