All participants are invited to submit to the post-proceedings. Your submission should be a revision of a paper presented at SATToSE 2016.

While the pre-proceedings were meant for our internal use (to share the presentation abstracts with other participants), the post-proceedings will be properly published in the open access CEUR Workshop Proceedings. The whole post-proceedings volume should have *at least* 40 pages excluding front matter. If this minimum page constraint is not satisfied, CEUR will not allow us to publish the proceedings! (Assuming that we receive at least 8 papers of at least 5 pages each for the post-proceedings, which should not present a problem, we will already respect this 40 page lower bound restriction.)

Submission guidelines

Authors: Anybody who is a co-author of the presented work on SATToSE 2016, can submit to the post-proceedings.

Title: Although the work should be a revision of the work presented at SATToSE 2016, the title does not need to be the same. However, the title should NOT be identical to already published (or pending) publications (In case the presented work is a publication summary).

Content: Without the traditional demand that a paper should present finished results, we would expect the review process to focus on the comprehensibility of the submission and the systematic approach presented there; as before, both work-in-progress, overviews and tool-oriented papers are appropriate.

Deadline: Submission deadline is 15 September 2016. If you have not submitted by then, we assume you are not interested in submitting to the post-proceedings. Please use your old SATToSE 2016 submission page to submit the new version of your paper.

Reviewing: One of the original reviewers of the paper will play the "shepherd". The shepherd will do one more review of the new version of the paper and help the authors get it into shape for publication. The reviewing will be don on the week between the 15th and the 22nd of September.