[Prev][Next][Index][Thread]
CP-2002: Call for Papers
Call for Papers
CP-2002
Eighth International Conference On
Principles and Practice of Constraint Programming
September 7 - 13, 2002
Ithaca, NY, USA
http://www.cs.cornell.edu/cp2002
CP-2002 will be held at Cornell University in Ithaca. In addition to
the Technical programme, we are pleased to continue the Innovative
Applications programme and the Doctoral programme. CP-2002 will also
include a number of workshops.
IMPORTANT DATES
April 26: Deadline for submissions
June 17: Notifications
July 1: Camera-ready copy
September 7 - 13: Conference
These are strict deadlines. Papers arriving later than April 26 will
not be reviewed. Camera-ready copies arriving later than July 1st will
not be included in the proceedings.
TECHNICAL PROGRAMME
The technical programme is concerned with all aspects of computing
with constraints including: algorithms, applications, environments,
languages, models and 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.
INNOVATIVE APPLICATIONS PROGRAMME
Innovative Applications is a programme under the CP-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:
* 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 aspects of constraint programming, including
modeling, debugging, verification 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 can be found at
http://www.cs.cornell.edu/cp2002/innovative-applications.html
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.
More details about the doctoral programme can be found at
http://www.math.unipd.it/~frossi/cp2002-doctoral.html
WORKSHOP PROGRAMME
CP-2002 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.
More details about the workshop programme can be found at
http://www.cs.cornell.edu/cp2002/workshop.html
SUBMISSION
Important Dates
April 26: Deadline for submissions
June 17: Notifications
July 1: Camera-ready copy
September 7 - 13: Conference
These are strict deadlines. Papers arriving later than April 26 will
not be reviewed. Camera-ready copies arriving later than July 1st will
not be included in the proceedings.
Papers submitted to the Technical and Innovative Applications
programmes 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. The submission deadline is April
26, 2002. Details about how to submit papers electronically will be
posted. The proceedings will be published by Springer Verlag in the
Lecture Notes in Computer Science series.
ORGANIZATION
General Chair Program Chair
Carla Gomes Pascal Van Hentenryck
Department of Computer Science Department of Computer Science
Cornell University Brown University
Ithaca, NY 14853 P.O. Box 1910
USA Providence, RI 02912
Email: gomes@cs.cornell.edu USA
Tel: +1 (607)-255-9189 Email: pvh@cs.brown.edu
Fax: +1 (607)-255-4428 Tel: +1 (401)-863-7634
Fax: +1 (401)-863-7657
Chair of Innovative Applications Programme Chair of Doctoral Programme
Helmut Simonis Francesca Rossi
Parc Technologies Ltd University of Padova
8th Floor, The Tower Building Department of Mathematics
11 York Road Via Belzoni 7
London SE1 7NX 35131 Padova
United Kingdom Italy
Email: Helmut.Simonis@parc-technologies.com Email: frossi@math.unipd.it
Tel: +44 (0)20-7594-8463 Tel: +39 (049) 827 5982
Fax: +44 (0)20-7261-4001 Fax: +39 (049) 875 8596
Workshop Chair Publicity Chair
Peter van Beek Ramon Bejar
Department of Computer Science Intelligent Information Systems Institute
University of Waterloo Cornell University
Waterloo, Ontario Ithaca, NY 14853
Canada N2L 3G1 USA
Email: vanbeek@uwaterloo.ca Email: bejar@cs.cornell.edu
Tel: (519) 888-4567, x5344 Tel: +1 (607) 255-4188
Fax: (519) 885-1208 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
PROGRAMME COMMITTEE
Slim Abdennadher, University of Munich Pedro Meseguer, IIIA-CSIC
Fahiem Bacchus, University of Toronto George Nemhauser, Georgia Tech.
Pedro Barahona, Universidade Nova de Lisboa Barry O'Sullivan, University College Cork
Nicolas Beldiceanu, SICS Gilles Pesant, University of Montreal
Frederic Benhamou, University of Nantes Jochen Renz, Vienna University of Technology
Alexander Bockmayr, LORIA Francesca Rossi, University of Padova
Mats Carlsson, SICS Michel Rueher, University of Nice
Philippe Codognet, LIP 6 & INRIA Christian Schulte, Saarland University
Hubert Comon, ENS Bart Selman, Cornell University
Maria Garcia de la Banda, Monash University Pascal Van Hentenryck, Brown University
Ian Gent, University of St. Andrews Moshe Vardi, Rice University
Hector Geffner, Universitat Pompeu Fabra Gerard Verfaillie, CERT
Carla Gomes, Cornell University Mark Wallace, IC-PARC
Martin Henz, National University of Singapore Joachim Walser, I2 Technologies
John Hooker, CMU Brian Williams, MIT
Richard Korf, UCLA Makoto Yokoo, NTT