CFP: CP-2001

                   Seventh International Conference on
           Principles and Practice of Constraint Programming

              November 26-December 1, 2001, Paphos, Cyprus

                      http://www.cs.ucy.ac.cy/cp2001
                  
                       CALL FOR TECHNICAL PAPERS
                CALL FOR INNOVATIVE APPLICATIONS PAPERS
                   ANNOUNCEMENT OF DOCTORAL PROGRAMME

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 http://cswww.essex.ac.uk/CSP/Cpia-2001/

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 http://www.math.unipd.it/~frossi/doctoral.html

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 are
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 cultural
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_at_cs.york.ac.uk                Email: antonis_at_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,
                                               H308

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_at_essex.ac.uk              Email: frossi_at_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
France
Email: Thomas.Schiex_at_toulouse.inra.fr Tel: +33 561285428
Fax: +33 561285335

Programme Committee:

Fahiem Bacchus, University of Toronto
Christian Bessiere, LIRMM-CNRS
Philippe Codognet, University of Paris 6 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_at_cs.york.ac.uk Received on Tue Jan 30 2001 - 09:08:30 CET