Re: Deadline Extension: SD14, July 12-13, 2014, Vienna

  This message is in MIME format.  The first part should be readable text,
  while the remaining parts are likely unreadable without MIME-aware tools.

--8323329-1729511536-1397589493=:9817
Content-Type: TEXT/PLAIN; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8BIT


Hi Frogs,

apparently we formulated the call for SD14 badly. What we meant was not 
"exactly 10 pages", but "at most 10 pages". So, submitting only 1 or 2 
pages is also fine.

Best wishes,
Lutz


On Sun, 13 Apr 2014, Lutz Strassburger wrote:

>
> DEADLINE EXTENSION: April 20, 2014
>
>
>    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
> 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 20, 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)
--8323329-1729511536-1397589493=:9817--