[UAI] CFP: CP'02 International Workshop on Reformulating Constraint Satisfaction Problems: Towards Systematisation and Automation

From: Ian Miguel (ianm@cs.york.ac.uk)
Date: Mon Jun 10 2002 - 20:05:43 PDT

  • Next message: Te-Won Lee: "[UAI] PostDoc position at UCSD"

    Apologies if you receive this more than once.

    =========================================================================

                      Call for Papers and Participation

                          International Workshop On

               REFORMULATING CONSTRAINT SATISFACTION PROBLEMS:
                    TOWARDS SYSTEMATISATION AND AUTOMATION

              To be held at the 8th International Conference on
         Principles and Practice of Constraint Programming (CP 2002)
                     Cornell University, Ithaca, NY, USA

                               8 September 2002

    ==========================================================================

    Many companies have scheduling, assignment, supply chain and other
    problems that could be solved with a constraint programming
    toolkit. Although the solution of these problems is of vital
    commercial importance, constraint programming toolkits are not widely
    used because there is insufficient expertise available to model
    problems as constraint programs.

    This formulation bottleneck can be reduced by the development of
    systems that can take a problem specification from a non-expert and
    automatically reformulate it into a form that can be solved
    efficiently. The facilities and capabilities of such a system might
    include

        a high-level language for specifying constraint satisfaction problems,

        a compiler to translate high level specifications to executable
        models,

        a module system that facilitates the modelling of large-scale and
        complex CSPs and reformulation methods that can exploit models
        constructed in this manner,

        the construction of a more abstract formulation whose solution can
        aid in solving the original problem,

        the generation of implied constraints,

        the detection and breaking symmetry,

        the removal of redundant constraints,

        the transformation of constraints,

        the translation into Boolean satisfiability, and

        the execution of large-scale changes of representation such as
        changing the choice of variables.

    We solicit original papers contributing to any aspect of constraint problem
    reformulation including, but not limited to, those just mentioned. We
    are especially interested in papers that address issues in making the
    reformulation process more systematic and automatic.

    SUBMISSION
    - ----------

    To submit a paper, send an email to the Programme Chair
    (frisch@cs.york.ac.uk) with title, authors' names and emails, name of
    corresponding author, and a URL of the submission in postscript or
    (preferably) in pdf. Submissions must be formatted in the Lecture
    Notes in Computer Science (LNCS) style and must not exceed 15 pages.
    Submissions of shorter papers, including position papers, are welcomed.

    All submissions will be reviewed and those that are well presented and
    make a worthwhile contribution to the topic of the workshop will be
    accepted for publication in the workshop proceedings. The proceedings
    will be available electronically and in hardcopy at CP-2002. All
    accepted papers will be presented at the workshop, either as a talk or
    in a poster session.

    THE WORKSHOP
    - ------------

    This will be a half-day workshop open to anyone interested in the
    topic. The event will have a strong workshop flavour, with ample time
    allocated to discussion. All workshop participants must pay the
    CP-2002 workshop registration fee.

    IMPORTANT DATES
    - ---------------

    Submission deadline: 4 July 2002
    Notification of acceptance: 22 July 2002
    Camera Ready deadline: 5 Aug 2002
    Workshop: 8 September 2002

    FURTHER INFORMATION
    - -------------------

    CP'02 Conference: http://www.cs.cornell.edu/cp2002/
    Reformulation Workshop: http://www.cs.york.ac.uk/~frisch/Reformulation

    PROGRAMME COMMITTEE
    - -------------------

    Alan M. Frisch (Chair) (frisch@cs.york.ac.uk)
      University of York, United Kingdom.

    Marco Cadoli (cadoli@dis.uniroma1.it)
      Universita` di Roma "La Sapienza", Italy.

    Tom Ellman (ellman@cs.vassar.edu)
      Vassar College, USA.

    Pierre Flener (pierref@csd.uu.se)
      Uppsala University, Sweden.

    Eugene Freuder (e.freuder@4c.ucc.ie)
      University College Cork, Ireland.

    Jimmy Lee (jlee@cse.cuhk.edu.hk)
      The Chinese University of Hong Kong, Hong Kong SAR, China.

    Ian Miguel (ianm@cs.york.ac.uk)
      University of York, United Kingdom.

    Patrick Prosser (pat@dcs.gla.ac.uk)
      Glasgow University, United Kingdom.

    Toby Walsh (tw@4c.ucc.ie)
      University College Cork, Ireland.



    This archive was generated by hypermail 2b29 : Mon Jun 10 2002 - 20:10:07 PDT