Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

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

Date: 29 - 30 June 2019
Location: Dortmund, Germany
Deadline: Friday 12 April 2019

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.

For more information, see http://anupamdas.com/sd19/ or contact .

Please note that this newsitem has been archived, and may contain outdated information or links.