[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] CP 2010: Call for Papers



Call for Papers

    CP 2010

  Sixteenth International Conference on Principles and Practice of Constraint
  Programming

      http://cp2010.cs.st-andrews.ac.uk/

    6-10th September 2010

      St-Andrews, Scotland

    Paper submission 13th April 2010, 12 Noon BST = GMT + 1

Paper notification 3rd June 2010


The CP conference is the annual international conference on constraint
programming. It is concerned with all aspects of computing with constraints,
including theory, algorithms, applications, environments, languages, models, and
systems.

CP 2010 includes a Technical Program, where presentations of research and
application papers and invited talks will describe the best results and
techniques in the state-of-the-art of constraint programming. One day of
Workshops precedes the conference. Tutorials and the Doctoral Program will form
part of the main program.

Papers are solicited from any area involved with constraints. The conference
proceedings will be published by Springer in the Lecture Notes in Computer
Science series. Full-length papers are limited to 15 LNCS pages. Short papers
are also encouraged, limited to 8 pages. These will be reviewed to the same
standards of quality as full papers, but will naturally contain less quantity of
new material. Short papers will have the same status as long papers and be
eligible for the best paper prize.

The best papers at CP 2010 will be invited to a special track at IJCAI-11
featuring papers from specialized area conferences. They will also be eligible
for an expedited reviewing and decision process for publication of an extended
version in JAIR.

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. Applications Track papers will be reviewed to the same quality as
other papers. However, significant practical value, or the demonstrated utility
of constraints technology, will be decisive for Applications Track submissions.

Further information is provided on the conference website. Author instructions
will be available on the submission page.