Submission of papers is now closed.


Papers will be evaluated by the Programme Committee according to their originality, significance, soundness, quality of presentation and relevance with respect to the main issues of the symposium.

There are 3 categories of paper:

  • Regular papers not exceeding 15 pages including appendices using Springer LNCS format. Authors of papers reporting experimental work are strongly encouraged to make their experimental results available for use by reviewers.
  • Tools papers not exceeding 4 pages should describe the tool and its contribution. Authors of tools papers should make their tool available for use by reviewers.
  • Teaching papers not exceeding 10 pages.

Reviewers will be asked to take account of any available data or tools in assessing the contribution of the paper.  There will be a short rebuttal phase during which authors may provide a short response to the reviews of their paper before final decisions are made.

Accepted papers will be published in the Symposium Proceedings, to appear in Springer's Lecture Notes in Computer Science. Submitted papers should have not been submitted elsewhere for publication, should be in Springer's format.

Click here to submit papers.


Michael Butler, University of Southampton, UK

Wolfram Schulte, Microsoft Research, USA


RSS icon
View a printer-friendly version of this page
Page last updated: 26/04/2011