3rd workshop on
Techniques foR Implementing
Constraint programming Systems
Half-day workshop at CP 2010, St. Andrews, Scotland
Constraint programming systems are software systems that support the modeling and solving of problems using constraint programming. Such systems include constraint programming libraries and runtime systems for constraint programming languages. The workshop will focus on implementation issues of such systems.
Possible topics include, but are not limited to
- software design aspects of CP systems
- data structures and algorithms for constraint solving
- parallelization approaches
- design and implementation of programming/modeling/solving environments for constraint programming
- surveys of often-used but undocumented folklore techniques
- hybrid solvers integrating methods such as local search, mathematical programming, SAT solving, or AI techniques
The workshop
After two very successful workshops in 2000 (Singapore) and 2002 (Ithaca), this third iteration will again provide a forum for research in implementation of constraint programming systems.
This workshop encourages submissions and participation from all members of the CP community and all people interested in the implementation of constraint programming systems. It will provide a place at CP where useful results, practical tricks and preliminary work can be presented, which by itself may not be sufficent for a submission to the full conference but is still of interest to other CP practitioners.
Contributing
Contributions to the workshop can include paper presentations, poster presentations, and system demonstrations. In addition, there will be a lightning track where people get five minutes to present preliminary results, implementation tricks, system advertisements, etc.
To ensure high quality of the workshop, at least one author of each accepted submission must attend the workshop. Workshop participants need to register through the main conference registration site and pay the workshop registration fee.
Proceedings will be made available electronically during the workshop.
Submission procedure
Submissions must be made electronically through EasyChair.
The paper submission deadline has passed.
Papers must be submitted in the form of a PDF file with at most 15 pages, formatted using the Lecture Notes in Computer Science (LNCS) style. Shorter submissions are welcome!
Paper submissions will be reviewed by the program committee. Those that are well written and make a worthwhile contribution to the workshop topic will be accepted for publication in the workshop proceedings, and their authors will be able to present their work at the workshop.
Poster/system presentations should be submitted as an extended abstract (PDF file of at most 2 pages in LNCS style).
Abstracts for poster and system presentations will be reviewed by the program committee. The abstracts of accepted submissions will also be published in the workshop proceedings.
For lightning talks, see our lightning page for submission details.
Important dates
- Paper submission deadline: July 7, 2010
- Notification of acceptance/rejection: August 4, 2010
- Camera-ready version: August 18, 2010
- Submission deadline for lightning talks: August 23, 2010
- Workshop: September 6, 2010
Organising committee
- Christopher Jefferson, University of St. Andrews
- Peter Nightingale, University of St. Andrews
- Guido Tack, Katholieke Universiteit Leuven
Additional members of the program committee
- Mats Carlsson, Swedish Institute of Computer Science
- Ian Gent, University of St. Andrews
- Youssef Hamadi, Microsoft Research, Cambridge
- Xavier Lorca, Ecole des Mines de Nantes
- Christian Schulte, KTH - Royal Institute of Technology
- Peter Stuckey, University of Melbourne
- Radoslaw Szymanek, École Polytechnique Fédérale de Lausanne
- Pascal Van Hentenryck, Brown University