SD17: 4th International Workshop on Structures and Deduction Affiliated with FSCD 2017 Oxford, UK, September 8-9, 2017 |
Conference website | http://www.anupamdas.com/sd17/ |
Submission link | https://easychair.org/conferences/?conf=sd17 |
Submission deadline | June 16, 2017 |
Notification | July 21, 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:
- Syntactic representations of proofs, such as sequent calculi and deep inference systems, in their focussed and unfocussed variants.
- Combinatorial representations of proofs, such as proof nets.
- Algebraic representations of proofs, for example via game semantics or category theory.
- Methods for proof manipulation and normal forms of proofs.
- Methods for incorporating computation and rewriting in proof search, such as deduction modulo or fixed point definitions.
- Complexity theoretic aspects of proof representations.
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:
- Extended abstracts. (8 pages). Finished work, system descriptions, surveys.
- Short abstracts. (4 pages). Work-in-progress, perspectives on existing work.
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:http://www.easychair.org/publications/for_authors
Important dates
- Submission deadline: June 16, 2017.
- Notification: July 21, 2017.
- Workshop: September 8-9, 2017.
Invited speakers
- TBA
Publication
Venue
The conference will be held at the Department of Computer Science at University of Oxford.
Programme Committee
- Andrea Aler Tubella
- James Brotherston
- Kaustuv Chaudhuri (co-chair)
- Anupam Das (co-chair)
- Willem Heijltjes (co-chair)
- Kenji Miyamoto
- Giselle Reis
Contact
All questions about submissions should be addressed to sd17@easychair.org, or directly to one of the co-chairs.