CfP: Workshop on Constraint Handling Rules
From: Marc Meister (Marc.Meister_at_informatik.uni-ulm.de)
Date: 03/17/04
- Next message: Tiger: "program"
- Previous message: Ton: "Re: scistus prolog and clause"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Date: Wed, 17 Mar 2004 14:10:30 +0100
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. 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
- Next message: Tiger: "program"
- Previous message: Ton: "Re: scistus prolog and clause"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Relevant Pages
|
