From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9875 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Pierre Clairambault Newsgroups: gmane.science.mathematics.categories Subject: 2nd CfP : Structures and Deduction '19, Dortmund June 29-30 (colocated with FSCD) Date: Mon, 1 Apr 2019 22:32:22 +0200 Message-ID: Reply-To: Pierre Clairambault Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: 8bit Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="192953"; mail-complaints-to="usenet@blaine.gmane.org" To: Original-X-From: majordomo@mlist.mta.ca Tue Apr 02 14:46:42 2019 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.55]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1hBIoM-000o10-Ac for gsmc-categories@m.gmane.org; Tue, 02 Apr 2019 14:46:42 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:33852) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1hBIo4-0002lW-2E; Tue, 02 Apr 2019 09:46:24 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1hBImC-0007y0-V1 for categories-list@mlist.mta.ca; Tue, 02 Apr 2019 09:44:28 -0300 Content-Language: en-US Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9875 Archived-At: *** 2nd Call for Papers: Structures and Deduction 2019 *** SD???19: 5th Int. Workshop on Structures and Deduction 2019 Dortmund, June 29-30 2019 --- Affiliated with FSCD 2019 Submission: April 12 Notification: May 13 Submission page: http://easychair.org/conferences/?conf=sd19 Workshop page: http://anupamdas.com/sd19/ FSCD 2019 page: http://easyconferences.eu/fscd2019/ 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. *** Topics of interest *** * Syntactic representations of proofs (e.g. sequent calculi, deep inference, focusing) * Combinatorial representations of proofs (e.g. proof nets) * Algebraic representations of proofs (e.g. via game semantics or category theory) * 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 cyclic proofs) * Complexity theoretic aspects of proof representations *** Invited Speakers *** Andrea Aler Tubella (Ume?? University) Delia Kesner (Universit?? Paris 7) Revantha Ramanayake (TU Wien) Thomas Seiller (CNRS, Universit?? Paris 13) (more TBA) *** Programme Committee *** David Cerna, Research Institute for Symbolic Computation, Austria. Pierre Clairambault (co-chair), CNRS and Ecole Normale Sup??rieure de Lyon, France. Anupam Das (co-chair), University of Copenhagen, Denmark. Alessio Guglielmi, University of Bath, UK. Stepan Kuznetsov, Steklov Mathematical Institute of RAS, Russia. Sonia Marin (co-chair), IT-University of Copenhagen, Denmark. Guillaume Munch-Maccagnoni, Inria Bretagne, France. Elaine Pimentel, Universidade Federal do Rio Grande do Norte, Brasil. Benjamin Ralph, Inria Saclay, France. *** 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 (up to 8 pages). Finished work, system descriptions, surveys. * Short abstracts (up to 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 *** 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 sd19@easychair.org The organisers. Pierre Clairambault, Anupam Das, and Sonia Marin [For admin and other information see: http://www.mta.ca/~cat-dist/ ]