The workshop seeks submissions of several kinds:
- Full papers: We solicit papers of up to 15 pages, in LaTeX format, containing original results. Accepted papers will be published in EPTCS.
- Work-in-progress papers: We solicit papers of up to 15 pages, in LaTeX format, describing ongoing research. Accepted papers will be presented at the workshop and might be selected for publication in EPTCS.
- Informal tool demo proposals: Tool demos are limited to 10 minutes. Proposals will not be reviewed, unless selection turns out to be necessary.
Full papers and Work-in-progress papers should use the EPTCS LaTeX style (http://style.eptcs.org/). Upload of the final manuscript to EPTCS is fully automated and therefore a bit strict. Thus, authors are advised to closely adhere to the instructions provided in the example LaTeX file provided by EPTCS. Doing so from the start, when preparing your submission for review, will later facilitate the upload of the final version.
All contributions should be submitted through EasyChair via: this link.