CFP: 8th CHR Workshop

[Jon Sneyers]

Call for Papers

------------------------------------------------------------
Eighth International Workshop on Constraint Handling Rules
CHR 2011

September 9, 2011
Cairo, Egypt

Co-located with the Second CHR Summer School
------------------------------------------------------------

http://met.guc.edu.eg/events/chr2011/ws.html

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

The Constraint Handling Rules (CHR) language has become a
major declarative specification formalism 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. Its clean semantics facilitates
program design, analysis and transformation. See the CHR
website (http://dtai.cs.kuleuven.be/CHR/) for more information.

The aim of the CHR workshop series is to stimulate and promote
international research and collaboration on topics related to
the Constraint Handling Rules language. The workshop is a
lively, friendly forum for presenting and discussing new results,
interesting applications, and work in progress. Previous CHR
workshops were organized in 2004 in Ulm (Germany), in 2005 in
Sitges (Spain) at ICLP, in 2006 in Venice (Italy) at ICALP, in
2007 in Porto (Portgual) at ICLP, in 2008 in Hagenberg (Austria)
at RTA, in 2009 in Pasadena (California, US) at ICLP and in 2010
in Edinburgh (Scotland) at ICLP.

The workshop proceedings will be published as a technical report.

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

The workshop calls for full papers and short papers describing
ongoing work on any aspect of CHR and related approaches. The
following topics are relevant (this list is non-exhaustive):

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

Important Dates
---------------

* Paper Registration (Abstract): June 14, 2011
* Paper Submission: June 21, 2011
* Notification of Authors: July 21, 2011
* Final version due: August 16, 2011
* Workshop date: September 9, 2011

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

All papers must describe original, previously unpublished research,
and must not simultaneously be submitted for publication elsewhere.
They must be written in English. There are four submission
categories:

1. technical papers for describing technically sound, innovative
ideas that can advance the state of the art of logic programming;
2. application papers, where the emphasis will be on their impact
on
the application domain;
3. system and tool papers, where the emphasis will be on the
novelty,
practicality, usability and general availability of the systems
and tools described;
4. technical communications, aimed at describing recent
developments,
new projects, and other materials that are not ready for main
publication as standard papers.

Technical papers, application papers, and system and tool papers
must not exceed 15 pages including bibliography. The limit for
technical communications is 10 pages.

The authors are encouraged to submit their papers 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 (http://www.springeronline.com/lncs/).

Submissions can be made via the Easychair submission system,
available at http://www.easychair.org/conferences/?conf=chr2011.

Accepted papers will be published in a technical report.

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

Program Committee:

* Slim Abdennadher, German University in Cairo, Egypt
* Henning Christiansen, Roskilde University, Denmark
* Francois Fages, INRIA Rocquencourt, France
* Thom Fruehwirth, Universitaet Ulm, Germany
* Maurizio Gabbrielli, Universita di Bologna, Italy
* Remy Haemmerle, Universidad Politecnica de Madrid, Spain
* Eric Monfroy, Universite de Nantes, France
* Paolo Pilozzi, K.U.Leuven, Belgium
* Jon Sneyers, K.U.Leuven, Belgium (chair)
* Peter J. Stuckey, NICTA Victoria Laboratory, Australia
* Armin Wolf, Fraunhofer FIRST, Germany

Workshop Coordinator:

* Jon Sneyers, K.U.Leuven (Belgium)

[ comp.ai is moderated ... your article may take a while to appear. ]