CHR 2005 Call for Papers

Apologies if you receive multiple copies

                        Call for Papers

    ------------------------------------------------------------
            Second Workshop on Constraint Handling Rules
                                CHR 2005

                            October 5, 2005
                       Sitges (Barcelona) Spain

           Co-located with the International Conference on
                     Logic Programming (ICLP'05)
     ------------------------------------------------------------

               http://www.cs.kuleuven.be/~toms/CHR2005/

   Introduction
   ------------

   The Constraint Handling Rules (CHR) language has become a
   major declarative specification and implementation language for
   constraint reasoning algorithms and applications. Algorithms
   are often specified using inference rules, rewrite rules,
   sequents, proof rules or logical axioms that can be directly
   written in CHR. Based on first order predicate logic, this clean
   semantics of CHR facilitates non-trivial program analysis and
   transformation. See the CHR website for more information.

   The First Workshop on Constraint Handling Rules was organized in
   May 2004 in Ulm, Germany.


   Topics of Interest
   ------------------

   The workshop calls for full papers and short papers describing
   ongoing work, on all aspects of CHR, including topics such as:

       * Semantics
       * Implementations and Optimization
       * Programming Environments (Debugging)
       * Program Transformation and Generation
       * Language Extensions (Types, Modules)
       * Program Analysis
       * Algorithms
       * Constraint Solvers
       * Retractable Constraints
       * Logical Algorithms
       * Programming Pearls
       * Applications
       * Critical Assessment
       * Comparisons with Related Approaches

   In addition, the workshop calls for CHR programming pearls. A
   programming pearl is a short piece of self-contained code of
   outstanding quality. Ideally it should be clearly correct,
   elegant, concise and efficient, though in some cases a (small)
   subset of these may not apply. It may be a useful application
   or may primarily be an example of a useful programming
   technique. Accompanying text explains the code and its
   qualities. These may be exposed by describing how a programmer
   could derive the code. Ideally, a CHR programming pearl should
   also showcase the CHR language, for example, declarative semantics,
   concurrency, on-line and any-time behavior.


   Awards
   ------

   The best paper receives the CHR Best Paper Award. It is chosen
   among all submissions for its outstanding quality in both
   presentation and scientific contribution and for its impact on
   the field of CHR.

   The best programming pearl submission receives the CHR Programming
   Pearl Award and will be presented at the workshop.


   Submission Information
   ----------------------

   All papers must be written in English and not exceed 15 pages
   in Springer LNCS format. The authors are encouraged, although
   not obliged, to submit their papers already in Springer LNCS
   format. General information about the Springer LNCS series and
   the LNCS authors' instructions are available at the Springer
   LNCS/LNAI home page.

   Submissions should be sent to [email protected]
   and mention 'CHR 2005 Submission' in the subject. Every submission
   should include the names and e-mail addresses of the authors (with
   the corresponding author marked), the paper abstract in ASCII
   format and the actual paper in postscript or PDF format. The
   submission should also indicate whether it is a full paper,
   a short paper or a programming pearl.


   Important dates
   ---------------

     * submission: 			July 5, 2005
     * notification of acceptance: 	July 21, 2005
     * final version due: 		August 4, 2005
     * workshop date: 			October 5, 2005


   Organization
   ------------

   Program Committee:

       * Slim Abdennadher, German University in Cairo, Egypt
       * Henning Christiansen, Roskilde University, Denmark
       * Gregory Duck, Melbourne University, Australia
       * Thom Fruehwirth, University of Ulm, Germany
       * Christian Holzbaur, University of Vienna, Austria
       * Tom Schrijvers, Catholic University of Leuven, Belgium
       * Armin Wolf, Fraunhofer FIRST, Germany

   Workshop Coordinators:

   Tom Schrijvers (contact person)
   Department of Computer Science
   K.U.Leuven
   http://www.cs.kuleuven.ac.be/~toms/


   Thom Fruehwirth
   Fakultaet fuer Informatik
   Universitaet Ulm
   http://www.informatik.uni-ulm.de/pm/fileadmin/pm/home/fruehwirth/