## Overview

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:

http://www.easychair.org/publications/easychair.zip

Submissions are through the following URL:

http://easychair.org/conferences/?conf=sd14

## Program Committee

- David Baelde (ENS Cachan)
- Paola Bruscoli (University of Bath)
**Kaustuv Chaudhuri (INRIA) - chair**- Nicolas Guenot (IT University of Copenhagen)
**Willem Heijltjes (University of Bath) - chair**- James Laird (University of Bath)
- Chuck Liang (Hofstra)
- Michel Parigot (CNRS - Université Paris 7)
- Elaine Pimentel (UFMG)
- Revantha Ramanayake (Vienna University of Technology)
- Luca Roversi (Dipartimento di Informatica, Univ. Torino)
**Lutz Strassburger (INRIA) - chair**- Christine Tasson (Laboratoire PPS)
- Alwen Tiu (Nanyang Technological University)