Important Dates

    Papers due:
    20 April 2014
    30 April 2014 (extended)
  • Notification:
    31 May 2014
  • Pre-proceeding version due:
    6 July 2014
  • Final version due:
    27 July 2014
    (after the workshop)
  • Workshop:
    18 July 2014

Previous Editions

STAST 2011:
stast2011.uni.lu

STAST 2012:
stast2012.uni.lu

STAST 2013:
stast2013.uni.lu

Main Event

Vienna Summer of Logic 2014

Supported by

SnT

SnT

UNICT

DTU

DMU

General Rules

Submitted papers must not substantially overlap papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings.

All papers must be written in English and they will be peer reviewed by at least three members of the Programme Committee. They will be judged on novelty, technical soundness/social scientific content, comparison to related work, validation aspects. Both theoretical and applied research papers are welcome.

Submitted papers must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with published proceedings. Failure to clearly identify any duplication or overlap with other published or submitted papers is ground for rejection without full review.

Committee members are not required to read appendices; papers must be intelligible without them.

Paper Format

Papers should be submitted in Portable Document Format (PDF). Papers submitted in a proprietary format such as Microsoft Word cannot be considered.

Contributions should be at most 8 pages, including the bibliography and well-marked appendices, and should follow the 8.5" x 11" two-columns format of the Conference Publishing Services (CPS).

At least one author of each accepted paper is required to attend the workshop to present the work. Otherwise, the paper will be excluded by the proceedings.

Submission

The submission phase is CLOSED .

Instructions for Authors

Camera ready version should be formatting according to the paper submission instruction of the main conference.