Please note that this newsitem has been archived, and may contain outdated information or links.
29 - 30 June 2019, 5th Int. Workshop on Structures and Deduction 2019 (SD 2019), Dortmund, Germany
SD?19 is the fifth in a series of workshops aiming to gather various communities of structural proof theorists. As well as theoretical work in the form of regular papers, we encourage submission of implementations, tools and system descriptions.
We welcome submission of work that has already been published or currently submitted to a journal or conference. The following submission categories are welcome:
- Extended abstracts (up to 8 pages). Finished work, system descriptions, surveys.
- Short abstracts (up to 4 pages). Work-in-progress, perspectives on existing work.
Please note that this newsitem has been archived, and may contain outdated information or links.