Contributions of research papers may be theoretical, empirical, or some combination of the two. The program committee is instructed to judge each type of contribution equally, and contains theoretical and empirical experts suited to assess papers of all types.

Reports on successful applications of constraint technology are particularly encouraged. Application track papers will be reviewed to the same standard of quality as other papers. However, significant practical value, or the demonstrated utility of constraint technology, will be decisive for application track submissions.

There will be three best paper prizes: best technical paper, best application paper, and best student paper (drawn from both technical and application track).

Long paper submissions are limited to 15 LNCS pages plus references.

Short paper submissions are limited to 8 LNCS pages plus references. Short papers will be reviewed to the same standards of quality as full papers, but will naturally contain less new material. They will be eligible for the best paper prize and allocated presentation slots on the same basis as long papers (though possibly a shorter slot).

Submissions exceeding the respective page limit or not being formatted according to Springer LNCS style will be immediately rejected without receiving any review.

Papers must be readable when being printed in black and white.

Authors of papers rejected as long papers will not be asked to resubmit in short paper form.

Multiple submission is disallowed.

Your paper should not have appeared in, be accepted for, or be under review for another peer-reviewed conference or journal.

Papers which have appeared previously at workshops or other meetings of lower status than a conference are allowed, as are papers which have only appeared in conferences in highly shortened form (for example, short posters at some conferences).

If in doubt about a given paper, you should contact Christian Schulte as the program chair in advance.

There is no poster track. Short and long papers will be accepted or rejected in the format submitted.

Submission is not anonymous.

Reviewing is anonymous.

All submissions will be treated in strict confidence.

There will be an opportunity to respond to reviewer's comments before decisions are made. The author response period is from May 27 to May 29 2013.

Submission should be in the form of a PDF file of the correct length. Optionally, you may submit supporting material as an appendix in zip format. This might contain, for example, full versions of proofs or detailed experimental results. Reviewers may use supporting material to help them form an opinion, but are not required to refer to it.

Authors may designate papers as being student papers. By doing so the authors are declaring that the original work and the writing of the paper is principally that of doctoral or other students. There is a prize for the best student paper where papers from both the technical and application track are eligible.

You are required to submit an abstract. The deadline for abstract submission is April 17, 2013, 23:59 UTC (UTC = Coordinated Universal Time).

Paper submission is via EasyChair at https://www.easychair.org/conferences/?conf=cp2013. Make sure to select the appropriate track (technical, application), the appropriate paper type (short, long), and whether the paper is a student paper. You will be asked to list at least three keywords to characterize your submission.

For any questions on the paper submission process, please contact the program chair, Christian Schulte.