Eighth International Conference on
Principles and Practice of Constraint Programming

Sept. 8 - 13, 2002

Cornell University

Ithaca, NY, USA

Cornell Images

[Important Dates] [Programme] [Submission] [Conference Site] [Travel] [Organization] [Sponsors]
[Computational Symposium on Graph Coloring and Generalizations]

 

Registration Form

Conference Program

Workshop Program

CP 2002 Poster

Poster Guidelines

Message about CP organizational rules

IMPORTANT HOTEL INFORMATION:  The Holiday Inn room block will only be held until August 12.  Please make your reservations before that date to ensure accommodations.

Invited Speakers:

  • Edmund Clarke (CMU)
  • Rina Dechter (UC Irvine)
  • Jean-Louis Lassez (Coastal Carolina University)
  • George Nemhauser (Georgia Tech.)
  • David Shmoys (Cornell University)

CP-2002 will be the eighth of the annual CP conference series. In addition to the Technical programme, we are pleased to continue the Innovative Applications programme and the Doctoral programme. We are also pleased to announce a special event, the Computational Symposium on Graph Coloring and Generalizations.

Important Dates

  • May 3:
  • June 17:
  • July 1:
  • August 22:
  • September 8 -13:

Deadline for paper submission 
Notifications
Camera-ready copy
Deadline for early Conference and Symposium registration
Conference and Symposium


These are strict deadlines. Papers arriving later than May 3 will not be reviewed. Camera-ready copies arriving later than July 1 will not be included in the proceedings. 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, both in LNCS style. The LNCS style instructions and files can be obtained from here. Oversized papers will be rejected without review. The proceedings will be published by Springer Verlag in the Lecture Notes in Computer Science series. 

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, engineering, operations research, programming languages, symbolic computation.

Papers may concern any of the domains using constraints, including: combinatorial auctions, computational linguistics, configuration, decision support, design, diagnosis, graphics, hardware verification, molecular biology, planning, program analysis, qualitative reasoning, real-time systems, resource allocation, robotics, satisfiability, scheduling, software engineering, temporal reasoning, type inference, vision, visualization, user interfaces. We especially welcome papers discussing novel reasoning and search methods, presenting original applications of constraint programming, building bridges between constraint programming and other areas, or providing fundamental theoretical insights in explaining the success or failure of existing methods.

The general Conference Programme is now available, with the abstracts of the accepted technical and innovative applications papers, the list of Poster Papers and the list of Doctoral Paper Presentations.

Innovative Applications programme

Innovative Applications is a programme under the Constraint Programming 2002 Conference. The Innovative Applications track is a forum for practitioners and end users of constraint technology, and an interface between them and researchers in constraints.

The purpose of this programme is to report successful applications of constraint technology, so as to attract potential users and researchers to this technology. Papers submitted to this track will mainly be judged by the success of applications reported. Authors may withhold confidential technical details if preferred.

We welcome submissions in, but not limited to, the following topics:

The Innovative Applications programme can be found in the general Conference Programme

More information about the Innovative Applications programme can be found 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. We hope to be able to announce details about financial support for participation in the doctoral programme in the near future.

Visit the general Conference Programme to locate the three sessions for the Doctoral Programme. You can also go directly to the list of Doctoral Paper Presentations.

More information about the doctoral programme can be found here.

Workshop programme

CP2002 will include a series of workshops. The workshops will provide an informal setting where workshop participants will have the opportunity to discuss specific technical topics in an atmosphere that fosters the active exchange of ideas. Workshops are an opportunity to disseminate work in progress or to promote new and emerging areas within the field of constraints. The topics of the workshops can cover any area related to constraints and any related cross-disciplinary areas.

The Workshop Program is now available with a tentative schedule.

Submission to Technical and Innovative Applications programmes

IMPORTANT DATES:

  • May 3:
  • June 17:
  • July 1:
  • August 22:
  • September 8 -13:

Deadline for paper submission 
Notifications
Camera-ready copy
Deadline for early Conference and Symposium registration
Conference and Symposium

These are strict deadlines. Papers arriving later than May 3 will not be reviewed. Camera-ready copies arriving later than July 1 will not be included in the proceedings. 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, both in LNCS style. The LNCS style instructions and files can be obtained from here. Oversized papers will be rejected without review. The proceedings will be published by Springer Verlag in the Lecture Notes in Computer Science series.


Computational Symposium on Graph Coloring and Generalizations

A Computational Symposium will be held in conjunction with CP-2002 at Cornell University. David Johnson, AT&T Labs, Anuj Mehrotra, University of Miami, and Michael Trick, Carnegie Mellon University, are the chairs of the Symposium. The purpose of this Symposium is to encourage research on computational methods for combinatorial optimization problems, to evaluate alternative approaches using a common testbed, and to stimulate discussion on present and future directions in computational combinatorial optimization. The Symposium will be on the topic "Graph Coloring and Generalizations". This topic was chosen due to the wide applicability of graph coloring and the variety of solution approaches that have been proposed. This symposium builds off of a DIMACS Computational Challenge from the fall of 1993, where graph coloring was one of the problems addressed. In addition to the basic graph coloring problem, results are also solicited for the related problems of "multi-coloring" (assigning multiple colors to each node) and bandwidth allocation models (those with minimum difference requirements on the colors on adjacent nodes).

More details about the Computational Symposium on Graph Coloring and Generalizations can be found here.


Conference Site and Accommodations

The conference will be held at the Robert Purcell Community Center at Cornell University's North Campus. For accommodations, a block of rooms have been set aside at the host hotel, the Holiday Inn. Please call the hotel directly for reservations and ask for the CU Conference CP02 group block. Room rates are $99-$109.  IMPORTANT NOTE:  The CP02 room block will only be held until August 12.  Please make your reservations before that date to ensure accommodations.  Shuttles will be provided from the Holiday Inn to the conference site.

Traveling to Ithaca

Ithaca is located within the Finger Lakes region of New York State, a region where you can find a series of different wineries.

For arriving to the Ithaca Tompkins Regional Airport, you can travel first to one of the major connecting airports, such as Philadelphia International Airport or LaGuardia Airport (New York).

When arriving to the airport, you may want to take a taxi or rent a car:

If you want additional information about traveling to Ithaca/Cornell, take a look here. You may also want to take a look at the Ithaca Weather before preparing your trip.

Organization

Conference Chair

Carla Gomes
Department of Computer Science
Cornell University
Ithaca, NY 14853
USA
Email: gomes@cs.cornell.edu
Tel: +1 (607)-255-9189
Fax: +1 (607)-255-4428

Program Chair

Pascal Van Hentenryck
Department of Computer Science
Brown University
P.O. Box 1910
Providence, RI 02912
USA
Email: pvh@cs.brown.edu
Tel: +1 (401)-863-7634
Fax: +1 (401)-863-7657

Chair of Innovative Applications Programme

Helmut Simonis
Parc Technologies Ltd
8th Floor, The Tower Building
11 York Road
London SE1 7NX
United Kingdom
Email: Helmut.Simonis@parc-technologies.com
Tel: +44 (0)20-7594-8463
Fax: +44 (0)20-7261-4001

Chair of Doctoral Programme

Francesca Rossi
University of Padova
Department of Mathematics
Via Belzoni 7
35131 Padova, Italy
Email: frossi@math.unipd.it
Tel: +39 (049) 827 5982
Fax: +39 (049) 875 8596

Workshop Chair

Peter van Beek
Department of Computer Science
University of Waterloo
Waterloo, Ontario
Canada N2L 3G1
Email: vanbeek@uwaterloo.ca
Tel: (519) 888-4567, x5344
Fax: (519) 885-1208

Publicity Chair

Ramon Bejar
Intelligent Information Systems Institute
Cornell University
Ithaca, NY 14853
USA
Email: bejar@cs.cornell.edu
Tel: +1 (607) 255-4188
Fax: +1 (607) 255-4428

Local Arrangements

Beth Howard
Department of Computer Science
Cornell University
Ithaca, NY 14853
USA
Email: bhoward@cs.cornell.edu
Tel: +1 (607) 255-4188
Fax: +1 (607) 255-4428

Program Committee

Slim Abdennadher, University of Munich
Fahiem Bacchus, University of Toronto
Pedro Barahona, Universidade Nova de Lisboa
Nicolas Beldiceanu, SICS
Frederic Benhamou, University of Nantes
Alexander Bockmayr, LORIA
Mats Carlsson, SICS
Philippe Codognet, University of Paris 6
Hubert Comon, ENS
Maria Garcia de la Banda, Monash University
Ian Gent, University of St. Andrews
Hector Geffner, Universitat Pompeu Fabra
Carla Gomes, Cornell University
Martin Henz, National University of Singapore
John Hooker, CMU
Richard Korf, UCLA

Pedro Meseguer, IIIA-CSIC
George Nemhauser, Georgia Tech.
Barry O'Sullivan, University College Cork
Gilles Pesant, University of Montreal
Jochen Renz, Vienna University of Technology
Francesca Rossi, University of Padova
Michel Rueher, University of Nice
Christian Schulte, KTH
Bart Selman, Cornell University
Pascal Van Hentenryck, Brown University
Moshe Vardi, Rice University
Gerard Verfaillie, ONERA
Mark Wallace, IC-PARC
Joachim Walser, I2 Technologies
Brian Williams, MIT
Makoto Yokoo, NTT

Computational Symposium on Graph Coloring and Generalizations
Chairs

David S. Johnson
Room C239
AT&T Labs
180 Park Avenue
Florham Park, NJ 07932-0971
USA
Email: dsj@research.att.com
Tel: +1 (973)-360-8440
Fax: +1 (973)-255-8178

Anuj Mehrotra
Management Science Department
417K Jenkins Building
University of Miami
Coral Gables, FL 33124-8237
USA
Email: anuj@miami.edu
Tel: +1 (305)-284-1973
Fax: +1 (305)-284-2321

Michael Trick
Graduate School of Industrial Administration
Carnegie Mellon University
Pittsburgh, PA 15213
USA
Email: trick@cmu.edu
Tel: +1 (412)-268-3697
Fax: +1 (412)-268-7057


Sponsors

Association
for
Logic Programming

AAAI