[Agda] Second Call for Papers for SD14, July 12-13, 2014, Vienna

Lutz Strassburger lutz at lix.polytechnique.fr
Fri Mar 7 11:49:58 CET 2014


         SECOND CALL FOR PAPERS FOR

     The Third International Workshop on
       STRUCTURES AND DEDUCTION (SD14)

         http://vsl2014.at/sd/

          July 12-13, 2014

      Affiliated with CSL-LICS 2014
    Part of the Vienna Summer of Logic


Overview
========

This is the third in a series of meetings that bring together
researchers in different areas of proof theory. The main interest is
in new algebraic and geometric results in proof theory that expand our
abilities to manipulate proofs, that help to reduce bureaucracy in
deductive systems, and that ultimately lead to new methods for proof
search and new kinds of proof certificates.

Topics of the workshop include

- syntactic presentations of proofs, like sequent calculi and deep
   inference systems, in their focused and non-focused variants;

- combinatorial presentations of proofs, such as proof nets;

- algebraic presentations of proofs, for example via game semantics or
   category theory;

- methods for proof manipulation and normal forms for proofs;

- methods for incorporating computation and rewriting in proof search,
   such as deduction modulo or fixpoint definitions.

Since the past two meetings, held in 2005 in Lisbon and in 2009 in
Bordeaux, there has been a tremendous amount of progress in the the
theoretical foundations of the topics mentioned above.

The time is ripe for moving towards implementations of these ideas in
terms of new interactive and automated reasoning tools and
modifications to existing tools. Thus, we encourage contributions not
only of regular papers, but also of system descriptions, work in
progress, and programmatic/position papers.


Invited Speakers
================

    Gilles Dowek (Inria Paris-Rocquencourt)
    Rosalie Iemhoff (Utrecht University)
    Kazushige Terui (Kyoto University)


Deadlines and Author Instructions
=================================

    Submission deadline:   April 13, 2014
    Notification:            May  9, 2014
    Final version:           May 20, 2014


Authors are requested to submit a 10 page (for finished work) or 5
page (for work in progress) paper in the Easychair Proceedings format.
LaTeX style files and documentation are available at:

    http://www.easychair.org/publications/easychair.zip

Submissions are through the following URL:

    http://easychair.org/conferences/?conf=sd14


Program Committee
=================

     David Baelde (ENS Cachan)
     Paola Bruscoli (University of Bath)
     Kaustuv Chaudhuri (Inria) - chair
     Nicolas Guenot (IT University of Copenhagen)
     Willem Heijltjes (University of Bath) - chair
     James Laird (University of Bath)
     Chuck Liang (Hofstra Unviersity)
     Michel Parigot (CNRS - Université Paris 7)
     Elaine Pimentel (UFMG)
     Revantha Ramanayake (Vienna University of Technology)
     Luca Roversi (University Torino)
     Lutz Strassburger (Inria) - chair
     Christine Tasson (Laboratoire PPS)
     Alwen Tiu (Nanyang Technological University)


More information about the Agda mailing list