Seventh International Conference on Principles and Practice of Constraint Programming

Nov 26 - Dec 1, 2001

Coral Beach Hotel and Resort

Paphos, Cyprus

Click here for the official CP & ICLP'01 Registration Webpage

Important Dates

May 14, 2001
Submission deadline for Technical and Innovative Applications programmes.
August 13, 2001
Notification of acceptance of papers and posters.
September 10, 2001
Camera-ready copy due.
Nov 26-Dec 1, 2001
CP-2001 conference

Conference Scope

CP-2001 will be the seventh of the annual CP conference series. It will be held in conjuction with ICLP-2001, the 17th International Conference on Logic Programming. In addition to the Technical programme, we are pleased to announce two new additions: the Innovative Applications programme, and the Doctoral programme

Technical Programme

The technical programme is concerned with all aspects of computing with constraints including: algorithms, applications, environments, languages, models, systems. Papers are solicited from any of the disciplines concerned with constraints, including: artificial intelligence, combinatorial algorithms, computational logic, concurrent computation, databases, discrete mathematics, operations research, programming languages, symbolic computation. Papers may concern any of the domains using constraints, including: computational linguistics, configuration, decision support, design, diagnosis, graphics, hardware verification, molecular biology, planning, program analysis, qualitative reasoning, real-time systems, resource allocation, robotics, scheduling, software engineering, temporal reasoning, type inference, vision, visualization, user interfaces. Papers that discuss modelling issues, or novel reasoning methods are especially welcome.

Innovative Applications Programme

The Innovative Applications programme is a forum for practitioners and end users of constraint technology, and an interface between them and researchers in constraints. It takes over the task previously performed by the Conference on the Practical Application of Constraint Technologies and Logic Programming (PACLP), and inherits the Chair of PACLP-2001 (Edward Tsang). We welcome submission in, but not limited to, the following topics: surveys of an application area, including problems to which constraint programming may be applied, experience in applying constraint programming, and areas where further research is required to meet industrial needs; software engineering aspect of constraint programming, including constraints elicitation, modelling and solving ill-defined applications; solutions of constraint problems using multiple solving techniques, including cooperative algorithms, hybrid solver configurations, and embedding constraint techniques in logic programming; the evaluation and comparison of approaches, including operational research vs. constraint programming, and stochastic vs. complete search techniques. More details about the Innovative Applications programme will be posted here.

Doctoral programme

A special programme for PhD students will be held alongside the conference. Students will be able to present their work and receive feedback from more senior members of the community. In addition, there will be tutorials about research skills and career issues. Students attending the doctoral programme will also present their work in the poster session of the main conference. We hope to be able to announce details about financial support for participation in the doctoral programme in the near future. More details about the doctoral programme will be posted here.

Submission details

Papers submitted to the Technical or Innovative Applications programme must be original and not submitted for publication elsewhere. Full length papers can be up to 15 proceedings pages, and poster papers can be up to 5 pages. Details about how to submit papers electronically are posted here. The submission deadline is May 14th, 2001. The proceedings will be published by Springer Verlag in the Lecture Notes in Computer Science series.

Workshops and Tutorials

CP 2001 will include a number of workshops and tutorials. Details of proposals for workshops and tutorials can be found here.

Conference Site

The conference will be held in the 5 star Coral Beach Hotel and Resort in an idyllic beachfront setting near to the town of Paphos. Paphos is included in the official UNESCO list of cultural and natural treasures of world heritage, and is described as "..Home To Aphrodite, Adonis, Dionysus, and Lucky Mortals".


Conference Chair

Toby Walsh
Department of Computer Science
The University of York
YORK, YO10 5DD, United Kingdom
Phone: +44 1904 432722
Fax: +44 1904 432767

Local Chair

Antonis Kakas
Department of Computer Science
University of Cyprus
75 Kallipoleos Str., P.O. Box 537
CY-1678 Nicosia
Office: Green Park 3rd floor, H308

Chair of Innovative Applications Programme

Edward Tsang
Department of Computer Science
University of Essex
Wivenhoe Park
Colchester CO4 3SQ, UK
Tel: +44 1206 872774
Fax: +44 1206 872788

Chair of Doctoral Programme

Francesca Rossi
University of Padova
Department of Mathematics
Via Belzoni 7
35131 Padova, Italy
Tel: +39 (049) 827 5982
Fax: +39 (049) 875 8596

Workshop and Tutorial Chair

Thomas Schiex
INRA - Dept. of Biometry and AI
Chemin de Borde Rouge BP 27
31326 Castanet-Tolosan
Tel: +33 561285428
Fax: +33 561285335

Program Committee

Fahiem Bacchus, University of Toronto
Philippe Codognet, INRIA
Thom Fruehwirth, Ludwig Maximillians University
Pascal Van Hentenryck, Brown University
Helene Kirchner, LORIA & INRIA
Francois Laburthe, Bouygues SA
Joao Marques-Silva, Univer. Tecnica de Lisboa
Michela Milano, University of Bologna
Christian Schulte, Saarland University
Edward Tsang, University of Essex
Roland Yap, National University of Singapore

Christian Bessiere, LIRMM-CNRS
Boi Faltings, LIA-EPFL
Georg Gottlob, Vienna University of Technology
Peter Jonsson, Linkoping University
Manolis Koubarakis, Technical University of Crete
Javier Larrosa, Universitat Politecnica de Catalunya
Pedro Meseguer, IIIA-CSIC
Jean-Charles Regin, ILOG
Peter Stuckey, University of Melbourne
Benjamin Wah, University of Illinois
Makoto Yokoo, NTT

Publicity Chair

Ian Miguel
Department of Computer Science
The University of York
YORK, YO10 5DD, United Kingdom