2nd Call for Papers: 7th International Conference on Principles and Practice of Constraint Programming

Apologies if you receive this more than once.

                   Seventh International Conference on
           Principles and Practice of Constraint Programming

              November 26-December 1, 2001, Paphos, Cyprus


                       CALL FOR TECHNICAL PAPERS

CP-2001 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 is a forum for practitioners and end users
of  constraint technology, and an interface between them and
researchers in constraints. 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 are posted at

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 mainconference. We hope to be
able to announce details about financial support for participation
in the doctoral programme in the near future. These and other details
about the doctoral programme are posted at

Submission to Technical and Innovative Applications programmes:

   Submission of papers:       May 14, 2001
   Notification of acceptance: July 16, 2001
   Camera-ready papers due:    August 20, 2001

Papers 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
posted at  http://www.cs.york.ac.uk/cp2001/start/
The proceedings will be published by Springer Verlag in the Lecture
Notes in Computer Science series.

Workshops and Tutorials:

A separate announcement about workshops and tutorials will be made
by the Workshop and Tutorial Chair, Thomas Schiex.

Conference Location:

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

Program Chair:                         Local Chair:

Toby Walsh                             Antonis Kakas
Department of Computer Science         Department of Computer Science
The University of York                 University of Cyprus
Heslington                             75 Kallipoleos Str., P.O. Box 537

York YO10 5DD                          CY-1678 Nicosia
United Kingdom                         Cyprus
Email: tw@cs.york.ac.uk                Email: antonis@ucy.ac.cy
Tel: +44 1904 432793                   Tel:+357-2-892230/1
Fax: +44 1904 432767                   Fax:+357-2-339062
                                       Office: Green Park 3rd floor,

Chair of Innovative Applications       Chair of Doctoral Programme:

Edward Tsang                           Francesca Rossi
Department of Computer Science         University of Padova
University of Essex                    Department of Mathematics
Wivenhoe Park                          Via Belzoni 7
Colchester CO4 3SQ, UK                 35131 Padova, Italy
Email: edward@essex.ac.uk              Email: frossi@math.unipd.it
Tel: +44 1206 872774                   Tel: +39 (049) 827 5982
Fax: +44 1206 872788                   Fax: +39 (049) 875 8596

Workshop & Tutorial Chair:

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

Programme Committee:

Fahiem Bacchus, University of Toronto
Christian Bessiere, LIRMM-CNRS
Philippe Codognet, INRIA
Boi Faltings, LIA-EPFL
Thom Fruehwirth, Ludwig Maximillians University
Georg Gottlob, Vienna University of Technology
Pascal Van Hentenryck, Brown University
Peter Jonsson, Linkoping University
Helene Kirchner, LORIA & INRIA
Manolis Koubarakis, Technical University of Crete
Francois Laburthe, Bouygues SA
Javier Larrosa, Universitat Politecnica de Catalunya
Joao Marques-Silva, Universidade Tecnica de Lisboa
Pedro Meseguer, IIIA-CSIC
Michela Milano, University of Bologna
Jean-Charles Regin, ILOG
Christian Schulte, Saarland University
Peter Stuckey, University of Melbourne
Edward Tsang, University of Essex
Benjamin Wah, University of Illinois
Roland Yap, National University of Singapore
Makoto Yokoo, NTT

Publicity Chair:

Ian Miguel
Department of Computer Science
The University of York
Email: ianm@cs.york.ac.uk