CP-2002: Call for Papers

From: Constraint Programming 2002 (cp2002@cs.cornell.edu)
Date: Sat Feb 09 2002 - 20:38:47 MET

  • Next message: KI2002: "CFP: KI2002 - 25.German Conf. on AI, second call"

                            Call for Papers

                  Eighth International Conference On
           Principles and Practice of Constraint Programming

                         September 7 - 13, 2002
                             Ithaca, NY, USA


    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.


      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.


       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 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

       * 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


       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


       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


        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.


    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
    Email: bhoward@cs.cornell.edu
    Tel: +1 (607) 255-4188
    Fax: +1 (607) 255-4428


    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

    This archive was generated by hypermail 2b30 : Sat Feb 09 2002 - 21:09:22 MET