Lutz Strassburger
2014-03-31 08:37:46 UTC
THIRD AND LAST 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)
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)