CfP: Workshop on Constraint Handling Rules

   CALL FOR PAPERS

*First Workshop on Constraint Handling Rules*

   http://www.informatik.uni-ulm.de/pm/veranstaltungen/chr2004/

   May 10 - May 14, 2004

   University of Ulm, Germany

  The Constraint Handling Rules (CHR) language has become a major
  specification and implementation language for constraint-based
  algorithms and applications. CHR is a concurrent committed-choice
guarded rule language.  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.

  Several implementations of CHR exist in Prolog, Haskell and Java. A
particular emphasis of this first workshop will be on the comparison,
joint development, consolidation and common extension of the various CHR
implementations. We expect the main implementors of CHR to be present at
the workshop.

     Call for Papers

  This first CHR workshop calls for extended abstracts (must not
  exceed 5 pages) describing ongoing work on all aspects of CHR, including
topics such as:

  - Implementations
  - Program Transformation
  - Program Analysis
  - Algorithms
  - Applications
  - Critical Assessment/Comparisons

     Submission

  To submit, send an email to Marc.Meister@informatik.uni-ulm.de
  containing three consecutive ASCII lines with title, author(s) and
email(s) and the ps or pdf file attached.
  Accepted papers will be available electronically from this web-page and
in hard-copy proceedings (available at the workshop).

  Authors of accepted submissions are expected to present their papers at
the workshop.

     Dates

  Submission 	April 2, 2004
  Notification 	April 7, 2004
  Workshop 	May 10 - May 14, 2004

     Program

  The Program consists of invited talks, talks on accepted papers and
tutorials, as well as hands-on working sessions.

    Workshop Organizers

  Thom Frühwirth and Marc Meister, University of Ulm, Germany