Authors are invited to submit papers of no more than 12 pages in LNCS style and including bibliography in BibTeX using bibliography style splncs04.bst. Proofs omitted due to space constraints may be put into an appendix to be read by the reviewers at their discretion. Simultaneous submissions to other conferences or workshops with published proceedings and submitting previously published papers are not allowed. Papers should be submitted electronically as a PDF document. The submission server can be accessed by clicking the following link:
After logging in to your EasyChair account, select the "New Submission" menu item on the top of the page. If you do not have an EasyChair account, follow the instructions on the login page.

Each member of Program Committee can submit at most one paper.

A "Best Paper Awards" will be presented to the author(s) of the paper judged to be the best on the basis of the referee reports. From 2014, these "Best Paper Awards" are named "Sheng Yu Awards".

Proceedings and Special issue

The proceedings will be published in the Springer LNCS series and will be available at the conference. Please refer to Springer's ethics webpage when preparing the final version. Selected papers will be invited for consideration in a special issue of Theoretical Computer Science (TCS).