From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9196 Path: news.gmane.org!.POSTED!not-for-mail From: Willem Heijltjes Newsgroups: gmane.science.mathematics.categories Subject: Call for papers: Structures and Deduction 2017 Date: Wed, 26 Apr 2017 18:47:14 +0000 Message-ID: Reply-To: Willem Heijltjes NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable X-Trace: blaine.gmane.org 1493319319 21456 195.159.176.226 (27 Apr 2017 18:55:19 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Thu, 27 Apr 2017 18:55:19 +0000 (UTC) To: "categories@mta.ca" Original-X-From: majordomo@mlist.mta.ca Thu Apr 27 20:55:14 2017 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.40]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1d3oZN-0005RK-6a for gsmc-categories@m.gmane.org; Thu, 27 Apr 2017 20:55:13 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:44373) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1d3oZ8-0004vQ-Rk; Thu, 27 Apr 2017 15:54:58 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1d3oYJ-0008Iu-Pq for categories-list@mlist.mta.ca; Thu, 27 Apr 2017 15:54:07 -0300 Accept-Language: en-US, en-GB Content-Language: en-US Content-ID: <90B19280FFFDA34DAE237C6717F6674B@bath.ac.uk> Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9196 Archived-At: *** Call for papers: Structures and Deduction 2017 *** SD17: 4th Int. Workshop on Structures and Deduction 2017 Oxford, 8-9 September 2017 --- Affiliated with FSCD 2017 Submission: 16 June Notification: 21 July Workshop page: http://www.anupamdas.com/sd17/ Submission page: http://easychair.org/conferences/?conf=3Dsd17 FSCD 2017 page: http://www.cs.ox.ac.uk/conferences/fscd2017/=20 *** Topics of interest *** * Syntactic representations of proofs (e.g. sequent calculi, deep inference, focussing) * Combinatorial representations of proofs (e.g. proof nets) * Algebraic representations of proofs (e.g. via game semantics or category theory)=20 * Methods for proof manipulation and normal forms of proofs * Formulas-as-types interpretations of proofs * Computation and rewriting in proof search (e.g. deduction modulo or fixed point definitions) * Complexity theoretic aspects of proof representations *** Invited Speakers *** Michel Parigot TBA *** Programme Committee *** Andrea Aler Tubella James Brotherston Kaustuv Chaudhuri Anupam Das Willem Heijltjes Kenji Miyamoto Giselle Reis *** Workshop *** SD17 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. *** Submission guidelines *** 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 (8 pages). Finished work, system descriptions, surveys. * Short abstracts (4 pages).=20 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 *** Publication *** We do not intend to have published proceedings, as we encourage people to present work in progress, or material that is already submitted. If there is a strong demand among the participants we may organise a special issue of an open access journal for full papers. *** Contact *** We can be reached by email directly or via=20 sd17@easychair.org The organisers. Kaustuv Chaudhuri Anupam Das Willem Heijltjes=20 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]