We invite three categories of submissions:
- Research papers: Original contributions, presenting novel ideas, results or systems in constraint-based software engineering. Papers should not be published or submitted elsewhere during the time of evaluation.
- Tool demonstrations, short papers & fast abstracts: Propose tool demonstrations, brief notes, or abstracts, presenting new tools, new challenges or groundbreaking results in constraint-based software engineering.
- Presentation-only papers: describe work recently published or submitted elsewhere and will not be included in the proceedings. We see this as a way to provide additional access to important developments that CSTVA attendees may be unaware of. If accepted, papers in this category cannot be promoted to another category.
Submission site: Papers should be submitted via EasyChair at https://easychair.org/conferences/?conf=cstvaissta2016 (opens in new tab)
Submitted papers must be in PDF format, formatted according to the EPiC Formatting Guidelines (see http://www.easychair.org/publications/for_authors (opens in new tab)),
and must not exceed the following size limits:
- Research papers: max 10 pages for the main text, including figures, tables and appendices, where references may occupy up to 2 additional pages
- Tool demonstration or fast abstract: max 6 pages
Papers in all three categories will be peer-reviewed. All accepted papers (except presentation-only) will be published in CEUR workshop proceedings (see
http://ceur-ws.org/ (opens in new tab)).